Keyword: Relation algebra
Article in Journal | Posted 21/01/2015
Hirsch, R. (2007). Peirce Algebras and Boolean Modules
A boolean module comprises a relation algebra, a boolean algebra and a Peircean operator which must obey a certain finite set of equational axioms. A Peirce algebra is a boolean module with one more...