Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
From MaRDI portal
Publication:4807997
DOI10.1080/0308107031000075690zbMath1061.94088WikidataQ56387645 ScholiaQ56387645MaRDI QIDQ4807997
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
primary algebra; boundary algebra; boundary logic; G. Spencer Brown; primary arithmetic; truth functors
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