A Neighbourhood Semantics for the Logic TK

Authors

  • Cezar A. Mortari Departamento de Filosofia Universidade Federal de Santa Catarina Campus Universitário – Trindade 88040-010 Florianópolis, SC
  • Hércules de Araújo Feitosa Departamento de Matemática Universidade Estadual Paulista (UNESP) Campus de Bauru 17033-360 Bauru, SP

DOI:

https://doi.org/10.5007/1808-1711.2011v15n2p287

Abstract

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.

 

Author Biographies

Cezar A. Mortari, Departamento de Filosofia Universidade Federal de Santa Catarina Campus Universitário – Trindade 88040-010 Florianópolis, SC

Departamento de Filosofia

Universidade Federal de Santa Catarina

Campus Universitário – Trindade

88040-010 Florianópolis, SC

Hércules de Araújo Feitosa, Departamento de Matemática Universidade Estadual Paulista (UNESP) Campus de Bauru 17033-360 Bauru, SP

Departamento de Matemática

Universidade Estadual Paulista (UNESP)

Campus de Bauru

17033-360 Bauru, SP

Published

2011-05-24

Issue

Section

Articles