Logic TK: algebric notions from Tarski's consequence operator
Carregando...
Data
Orientador
Coorientador
Pós-graduação
Curso de graduação
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Santa Catarina (UFSC)
Tipo
Artigo
Direito de acesso
Acesso aberto
Resumo
Resumo (inglês)
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.
Resumo (português)
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.
Descrição
Idioma
Inglês
Citação
Principia, v. 14, n. 1, p. 47-70, 2010.
