Visualising the Boolean Algebra B_4 in 3D

&
Diagrammatic Representation and Inference, Diagrams 9781:289 - 292 (2016)
  Copy   BIBTEX

Abstract

This paper compares two 3D logical diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron and the nested tetrahedron. Geometric properties such as collinearity and central symmetry are examined from a cognitive perspective, focussing on diagram design principles such as congruence/isomorphism and apprehension.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-319-42333-3_26

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Boolean model of ultrafilters.Thierry Coquand - 1999 - Annals of Pure and Applied Logic 99 (1-3):231-239.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
More on cardinal invariants of Boolean algebras.Andrzej Rosłanowski & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 103 (1-3):1-37.
Boolean Algebra as the Basis of Mathematical Logic.John-Michael Kuczynski - 2016 - Madison, WI, USA: Philosophypedia.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
A superatomic Boolean algebra with few automorphisms.Matatyahu Rubin & Sabine Koppelberg - 2001 - Archive for Mathematical Logic 40 (2):125-129.
A boolean transfer principle from L*‐Algebras to AL*‐Algebras.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):241-250.
On well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2000 - Annals of Pure and Applied Logic 105 (1-3):1-50.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
A model in which every Boolean algebra has many subalgebras.James Cummings & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (3):992-1004.
Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University , pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 , pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 , pp. 377–381; also Indagationes mathematicae, vol. 26 , pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 , pp. 139–145. - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 , pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 , pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra. [REVIEW]Donald H. Potts - 1973 - Journal of Symbolic Logic 38 (4):658-660.

Analytics

Added to PP
2020-03-30

Downloads
14 (#1,015,252)

6 months
5 (#703,779)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Between Square and Hexagon in Oresme’s Livre du Ciel et du Monde.Lorenz Demey - 2019 - History and Philosophy of Logic 41 (1):36-47.

Add more citations

References found in this work

No references found.

Add more references