Autor: Cezar A. Mortari, Hércules de Araújo Feitosa

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.

ISSN: 1414-4217

DOI: DOI:10.5007/1808-1711.2011v15n2p287

Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287/21044

Palavras-Chave: Consequence operator; TK algebra; TK logic; n