%0 Journal Article
%T Logic TK: Algebraic Notions from TarskiĄŻs Consequence Operator
%A H¨Śrcules A. Feitosa
%A Mauri C. do Nascimento
%A Maria Claudia C. Gr¨˘cio
%J Principia : an International Journal of Epistemology
%D 2010
%I Universidade Federal de Santa Catarina, Brasil
%X 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.
%K Tarski space
%K almost topological space
%K consequence operator
%K modal logic
%K algebraic model
%U http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p47/17975