Article contents
The Horn theory of Boole's partial algebras
Published online by Cambridge University Press: 05 September 2014
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.
- Type
- Articles
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 3
- Cited by