Artigo
Logic TK: algebric notions from Tarski's consequence operator
Registro en:
Principia, v. 14, n. 1, p. 47-70, 2010.
1808-1711
10.5007/1808-1711.2010v14n1p47
ISSN18081711-2010-14-01-47-70.pdf
5170688300970006
0739734390426687
5041601185655195
Autor
Feitosa, Hércules de Araujo [UNESP]
Nascimento, Mauri Cunha do [UNESP]
Grácio, Maria Cláudia Cabrini [UNESP]
Resumen
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. Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Universidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Psicologia da Educação, Faculdade de Filosofia e Ciências - Campus de Marília, Marilia, Av. Hygino Muzzi Filho, 737, Campus Universitário, CEP 17525900, SP, Brasil Universidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Psicologia da Educação, Faculdade de Filosofia e Ciências - Campus de Marília, Marilia, Av. Hygino Muzzi Filho, 737, Campus Universitário, CEP 17525900, SP, Brasil