Open AccessOPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA
Author(s) -
Hércules de Araújo Feitosa,
Ângela Pereira Rodrigues Moreira,
Marcelo Reicher Soares
Publication year - 2018
Publication title -
kínesis
Language(s) - Portuguese
Resource type - Journals
ISSN - 1984-8900
DOI - 10.36311/1984-8900.2016.v8.n18.12.p156
Subject(s) - humanities , physics , philosophy
Neste artigo analisamos o operador de consequência de Tarski e algumas relações de consequência num ambiente conjuntista de lógica universal. Neste âmbito, mostramos propriedades e axiomas relativos a estas definições que implicam e são implicadas por outras. Também mostramos a independência de algumas delas e lapidamos os conceitos envolvidos nestas noções abstratas que caracterizam lógicas em contexto universal.