Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Vol 14, No 1 (2010) • Principia: an international journal of epistemology
Autor: Hércules A. Feitosa, Mauri C. do Nascimento, Maria Claudia C. Grácio
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.
ISSN: 1414-4217
DOI: DOI:10.5007/1808-1711.2010v14n1p47
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p47/17975
Palavras-Chave: Tarski space; almost topological space; conse
Principia: an international journal of epistemology
!["PRINCIPIA]("http://anpof.org/portal/images/portal_periodicos_eletronicos_2017/PRINCIPIA-CABECALHO.jpg")
"Principia: an international journal of epistemology" was founded in 1997 and regularly publishes articles, discussions and review. The journal aims to publish original scholarly work especially in epistemology area , with an emphasis on material of general interest to academic philosophers. Originally published only in print version (ISSN: 1414-4247), in 2005 the journal began to be published also in online version (ISSN: 1808-1711). Since 1999 are published three issues per year: in April, August and December. Qualis CAPES: A2