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.24204WikidataQ56039146 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
Partially Ordered Sets, Partially ordered sets., Subsumption computed algebraically, Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem, The application of automated reasoning to questions in mathematics and logic, Total tense algebras and symmetric semiassociative relation algebras, On Automating the Calculus of Relations