Boole's Method I. A Modern Version
Stanley Burris, H.P. Sankappanavar
TL;DR
This paper presents a rigorous, modern reformulation of Boole's algebra of logic, building upon Ernst Schröder's 1890s treatment to enhance clarity and mathematical foundation.
Contribution
It introduces a contemporary version of Boole's logical algebra, integrating historical insights with modern formalism for improved logical analysis.
Findings
Provides a rigorous mathematical framework for Boole's logic
Enhances understanding of logical algebra through modern formalism
Builds upon Schröder's 1890s treatment for clarity
Abstract
A rigorous, modern version of Boole's algebra of logic is presented, based partly on the 1890s treatment of Ernst Schroder.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Mechanics and Applications