Abstract
This paper augments Hailperin's substantial efforts (1976/1986) to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.
Citation
Stanley N. Burris. H. P. Sankappanavar. "The Horn theory of Boole's partial algebras." Bull. Symbolic Logic 19 (1) 97 - 105, March 2013. https://doi.org/10.2178/bsl.1901040
Information