Logic TK: Algebraic Notions from Tarski’s Consequence Operator
DOI:
https://doi.org/10.5007/1808-1711.2010v14n1p47Keywords:
Tarski space, almost topological space, consequence operator, modal logic, algebraic model.Abstract
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.
Downloads
Published
Issue
Section
License

Principia http://www.periodicos.ufsc.br/index.php/principia/index is licenced under a Creative Commons - Atribuição-Uso Não-Comercial-Não a obras derivadas 3.0 Unported.
Base available in www.periodicos.ufsc.br.