Subdirectly Irreducible and Semisimple Double Boolean Algebras
Double Boolean algebras are algebras of type (2, 2, 1, 1, 0, 0) introduced by Rudolf Wille to capture the equational theory of protoconcept algebras. A famous theorem of Birkhoff says that any variety is determined by its subdirectly irreducible members.
Temgoua Alomo, Etienne Romuald +1 more
core +1 more source
Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]
Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core
Orthopseudorings and congruences on distributive lattice with dual weak complementation. [PDF]
Heliyon, 2023 Rezk EG.
europepmc +1 more source
Robbins Algebras vs. Boolean Algebras 1
, 2008 algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. The solution (afirmative answer) was given in 1996 by Mc-Cune with the help of automated theorem prover EQP/OTTER.
Adam Grabowski
core
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
On Boolean posets of numerical events. [PDF]
Adv Comput Intell, 2021 Dorninger D, Länger H.
europepmc +1 more source
Non-Kolmogorovian Probabilities and Quantum Technologies. [PDF]
Entropy (Basel), 2022 Holik FH.
europepmc +1 more source
The Measurement Problem Is a Feature, Not a Bug-Schematising the Observer and the Concept of an Open System on an Informational, or (Neo-)Bohrian, Approach. [PDF]
Entropy (Basel), 2023 Cuffaro ME.
europepmc +1 more source
Distributivity in Boolean algebras [PDF]
Pacific Journal of Mathematics, 1957 openaire +3 more sources
Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]
Entropy (Basel), 2023 Derr R, Williamson RC.
europepmc +1 more source