Logic TK: Algebraic Notions from Tarski’s Consequence Operator
DOI:
https://doi.org/10.5007/1808-1711.2010v14n1p47Resumen
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.Descargas
Publicado
2010-01-05
Número
Sección
Articles
Licencia
![Licença Creative Commons](http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png)
Principia http://www.periodicos.ufsc.br/index.php/principia/index is licenced under a Creative Commons - Atribuição-Uso Não-Comercial-Não a obras derivadas 3.0 Unported.
Base available in www.periodicos.ufsc.br.