As álgebras dos operadores de conseqüência

Mauri Cunha do NASCIMENTO1

Hércules de Araújo FEITOSA[1]

§       Resumo: Neste trabalho, introduzimos as TK-álgebras associadas com os operadores de conseqüência de Tarski, mostramos algumas propriedades das referidas TK-álgebras e demonstramos dois teoremas de representação. Terminamos com algumas noções de uma lógica proposicional associada com a classe das TK-álgebras.

§       Palavras-chave: Operador de conseqüência; álgebra de Boole; modelo algébrico.

 



[1]Departamento de Matemática, Faculdade de Ciências - FC, UNESP, CEP 17033-670, Bauru, SP, Brasil. E‑mail:  mauri@fc.unesp.br / haf@fc.unesp.br