Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Minimal axioms for Boolean algebra
open-in-new
<h2 id="references">References</h2> <ol> <li id="fn:1"><p>Wolfram, Stephen (6 November 2018). "Logic, Explainability and the Future of Understanding". Stephen Worfram Writings. <a href="https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/" target="_blank">https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media. ISBN 978-1579550080. <a href="978-1579550080" target="_blank">978-1579550080</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048 <a href="/wiki/William_McCune" target="_blank">/wiki/William_McCune</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Rowland, Todd; Weisstein, Eric W. "Wolfram Axiom". MathWorld. <a href="https://mathworld.wolfram.com/WolframAxiom.html" target="_blank">https://mathworld.wolfram.com/WolframAxiom.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048 <a href="/wiki/William_McCune" target="_blank">/wiki/William_McCune</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Huntington, E. V. (1933). "New Sets of Independent Postulates for the Algebra of Logic, with Special Reference to Whitehead and Russell's Principia Mathematica". Trans. Amer. Math. Soc. 25: 247–304. <a href="/wiki/Trans._Amer._Math._Soc." target="_blank">/wiki/Trans._Amer._Math._Soc.</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Henkin, Leon; Monk, J. Donald; Tarski, Alfred (1971). Cylindric Algebras, Part I. North-Holland. ISBN 978-0-7204-2043-2. OCLC 1024041028. <a href="978-0-7204-2043-2" target="_blank">978-0-7204-2043-2</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>McCune, William (1997). "Solution of the Robbins Problem". Journal of Automated Reasoning. 19 (3): 263–276. doi:10.1023/A:1005843212881. S2CID 30847540. <a href="/wiki/Journal_of_Automated_Reasoning" target="_blank">/wiki/Journal_of_Automated_Reasoning</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Kolata, Gina (1996-12-10). "Computer Math Proof Shows Reasoning Power". The New York Times. For errata, see McCune, William (1997-01-23). "Comments on Robbins Story". Argonne National Laboratory. Archived from the original on 1997-06-05. <a href="/wiki/Gina_Kolata" target="_blank">/wiki/Gina_Kolata</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Meredith, C. A.; Prior, A. N. (1968). "Equational logic". Notre Dame J. Formal Logic. 9 (3): 212–226. doi:10.1305/ndjfl/1093893457. MR 0246753. <a href="/wiki/Carew_Arthur_Meredith" target="_blank">/wiki/Carew_Arthur_Meredith</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Meredith, C. A. (1969). "Equational postulates for the Sheffer stroke". Notre Dame J. Formal Logic. 10 (3): 266–270. doi:10.1305/ndjfl/1093893713. MR 0245423. <a href="/wiki/Carew_Arthur_Meredith" target="_blank">/wiki/Carew_Arthur_Meredith</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Padmanabhan, R.; Quackenbush, R. W. (1973). "Equational theories of algebras with distributive congruences". Proc. Amer. Math. Soc. 41 (2): 373–377. doi:10.1090/S0002-9939-1973-0325498-2. <a href="https://doi.org/10.1090%2FS0002-9939-1973-0325498-2" target="_blank">https://doi.org/10.1090%2FS0002-9939-1973-0325498-2</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048 <a href="/wiki/William_McCune" target="_blank">/wiki/William_McCune</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry (2002), "Short single axioms for Boolean algebra", Journal of Automated Reasoning, 29 (1): 1–16, doi:10.1023/A:1020542009983, MR 1940227, S2CID 207582048 <a href="/wiki/William_McCune" target="_blank">/wiki/William_McCune</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> </ol>