Boolean Algebra of C-Algebras
DOI:
https://doi.org/10.5614/itbj.sci.2012.44.3.1Abstract
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 in terms of congruences are given. It is proved that the set of all central elements B(A) is isomorphic to the Boolean algebra S(A) B of all C-algebras Sa, where a ? B(A). It is also proved that B(A) is isomorphic to the Boolean algebra R(A) B of all C-algebras Aa, where a ?B(A).References
Guzman, F. & Squier, C., The Algebra of Conditional Logic, Algebra Universalis, 27, pp. 88-110, 1990.
Swamy, U.M., Rao, G.C., Sundarayya, P. & Kalesha Vali, S., Semilattice Structures on a C-algebra, Southeast Asian Bulletin of Mathematics, 33, pp. 551-561, 2009.
Rao, G.C., Sundarayya, P., C-algebra as a Poset, International Journal of Mathematical Sciences, Serials Pub., New Delhi, 4(2), pp. 225-236, Dec. 2005.
Rao, G.C., Sundarayya, P., Decompositions of a C-algebra, International Journal of Mathematics and Mathematical Sciences, Hindawi Pub. Cor. U.S.A., 2006(3), Article ID 78981, pp. 1-8, 2006.
Swamy, U.M., Rao,G.C. & Ravi Kumar, R.V.G., Centre of a C-algebra, Southeast Asian Bulletin of Mathematics, 27, pp. 357-368, 2003.
Stanely, B. & Sankappanavar, H.P., A Course in Universal Algebra, Springer Verlag, 1981.