OPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA

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 algu...

Descripción completa

Detalles Bibliográficos
Autores principales: Feitosa, Hércules de Araújo, Moreira, Angela Pereira Rodrigues, Soares, Marcelo Reicher
Formato: info:eu-repo/semantics/article
Lenguaje:Portugués
Publicado: Faculdade de Filosofia e Ciências 2018
Materias:
Acceso en línea:https://revistas.marilia.unesp.br/index.php/kinesis/article/view/7703
http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/71093
Descripción
Sumario: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.