Logic TK: Algebraic Notions from Tarski´s Consequence Operator

• Autores: Hércules de Araújo Feitosa, Mauri Cunha do Nascimento, Maria Cláudia Cabrini Gracio
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 14, Nº. 1 (Abril), 2010, págs. 47-70
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)
• Resumen

  • Tarski presented his de?nition 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.