Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors

DOI10.1080/0308107031000075690zbMath1061.94088OpenAlexW2076113496WikidataQ56387645 ScholiaQ56387645MaRDI QIDQ4807997

Philip Meguire

Publication date: 2003

Published in: International Journal of General Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0308107031000075690

zbMATH Keywords

primary algebraboundary algebraboundary logicG. Spencer Brownprimary arithmetictruth functors

Mathematics Subject Classification ID

Algebraic logic (03G99) Boolean functions (06E30) Proof theory and constructive mathematics (03F99)

Cites Work

• Absorption and idempotency criteria for a problem in near-Boolean algebras
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• Solution of the Robbins problem
• Modular elliptic curves and Fermat's Last Theorem
• The Robbins problem: computer proofs and human proofs
• A simple treatment of truth functions
• ISOMORPHISMS OF SPENCER-BROWN'S LAWS OF FORM AND VARELA'S CALCULUS FOR SELF-REFERENCE†
• Georg cantor's influence on bertrand russell
• Every Planar Map is Four Colorable
• Logic based on inclusion and abstraction
• Reduction to a dyadic predicate
• On the logic of quantification
• Two brief formulations of Boolean algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item