Sets of independent postulates for the algebra of logic

1904/01/01 by Edward V. Huntington · 4 citations
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · pdf · doi:10.1090/s0002-9947-1904-1500675-4

openalex publication_date 1904/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/05/21

Abstract

The algebra of symbolic logic, as developed by Leibniz

Cited by

• Robbins Algebras Are Boolean: A Revision of McCune's Computer-Generated Solution of Robbins Problem
• On Closed Elements in Closure Algebras
• On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others
• Boolean algebra (structure) [wikipedia]