New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica
From MaRDI portal
Publication:4752100
DOI10.2307/1989325zbMath0006.24204OpenAlexW4236954790WikidataQ56039146 ScholiaQ56039146MaRDI QIDQ4752100
Publication date: 1933
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1989325
Related Items (max. 100)
Mechanizing complemented lattices within Mizar type system ⋮ The application of automated reasoning to questions in mathematics and logic ⋮ Total tense algebras and symmetric semiassociative relation algebras ⋮ `Nobody could possibly misunderstand what a group is': a study in early twentieth-century group axiomatics ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ On Automating the Calculus of Relations ⋮ Subsumption computed algebraically ⋮ Partially Ordered Sets ⋮ Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem ⋮ Partially ordered sets.
This page was built for publication: New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica
