Boolean Algebra of C-Algebras
Author(s) -
G. C. Rao,
P. Sundarayya
Publication year - 2012
Publication title -
itb journal of sciences
Language(s) - English
Resource type - Journals
ISSN - 1978-3043
DOI - 10.5614/itbj.sci.2012.44.3.1
Subject(s) - boolean algebra , complete boolean algebra , stone's representation theorem for boolean algebras , free boolean algebra , two element boolean algebra , boolean algebras canonically defined , mathematics , algebra over a field , interior algebra , congruence relation , set (abstract data type) , algebra representation , cellular algebra , discrete mathematics , combinatorics , pure mathematics , computer science , programming language
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 of all C-algebras Sa, where a B(A). It is also proved that B(A) is isomorphic to the Boolean algebra of all C-algebras Aa, where a B(A)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom