Logic TK: Algebraic Notions from Tarski’s Consequence Operator DOI:10.5007/1808-1711.2010v14n1p47

Tarski apresentou sua definicao de operador de consequencia com a intencao de expor as concepcoes fundamentais da consequencia logica. Um espaco de Tarski e um par ordenado determinado por um conjunto nao vazio e um operador de consequencia sobre este conjunto. Esta estrutura matematica caracteriza um espaco quase topologico. Este artigo mostra uma visao algebrica dos espacos de Tarski e introduz uma logica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaco de Tarski. DOI:10.5007/1808-1711.2010v14n1p47