Axiomatisation
Keyword: Axiomatisation
|
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...
|