A Neighbourhood semantics for the Logic TK

• Autores: Cezar A. Mortari, Hércules de Araújo Feitosa
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 15, Nº. 2, 2011, págs. 287-302
• Idioma: portugués
• Enlaces
  • Texto completo (pdf)
• Resumen

  • The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski�s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.