Boolean algebra of C-algebras

A c- algebra is the algebraic form of the 3-valued conditional logic,which was introduced by f. guzman and c.c. squier in 1990. in this paper,some equivalent conditions for a c- algebra to become a boolean algebra interms of congruences are given. it is proved that the set of all central elements b(a) is isomorphic to the boolean algebra bs(a)of all c-algebras sa,where a ∈ b(a). it is also proved that b(a) is isomorphic to the boolean algebra br(a) of all c-algebras aa,where a ∈ b(a). © 2012 published by lppm itb.