Algebras of consequence operators

Mauri Cunha do NASCIMENTO1

Hércules de Araújo FEITOSA[1]

§       Abstract: In this study we introduce the TK-algebras associated with the Tarski’s consequence operator, present several properties of such algebras and demonstrate two theorems of representation.  Thus we give ideas about a propositional logic associated with the variety of TK-algebras.

§       Keywords: Consequence operator; boolean algebra; algebric model.

 



[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