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 - revista de estudos dos pós-graduandos em filosofia
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom