Topological duality for Tarski algebras

Abstract.In this paper we will generalize the representation theory developed for finite Tarski algebras given in [7]. We will introduce the notion of Tarski space as a generalization of the notion of dense Tarski set, and we will prove that the category of Tarski algebras with semi-homomorphisms is dually equivalent to the category of Tarski spaces with certain closed relations, called T-relations. By these results we will obtain that the algebraic category of Tarski algebras is dually equivalent to the category of Tarski spaces with certain partial functions. We will apply these results to give a topological characterization of the subalgebras.

[1]  Algebraic logic , 1985, Problem books in mathematics.

[2]  Sergio A. Celani,et al.  Modal Tarski Algebras , 2005, Reports Math. Log..

[3]  Filters and Annihilators in Implication Algebras , 1998 .

[4]  Sergio A. Celani,et al.  Duality for finite Hilbert algebras , 2005, Discret. Math..

[5]  Dumitru Busneag,et al.  A note on deductive systems of a Hilbert algebra , 1985 .

[6]  J. C. Abbott.  Semi-boolean algebra , 1967 .

[7]  Antonio Diego,et al.  Sur les Algèbres de Hilbert , 1970 .

[8]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[9]  S. Celani.  A NOTE ON HOMOMORPHISMS OF HILBERT ALGEBRAS , 2002 .

[10]  Manuel Abad,et al.  Topological representation for implication algebras , 2004 .

[11]  Giovanni Sambin,et al.  Topology and duality in modal logic , 1988, Ann. Pure Appl. Log..

[12]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.