Logic TK: Algebraic Notions from Tarski’s Consequence Operator
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.
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.