arXiv:2304.02224 Abstract | arXiv Analytics

arXiv:2304.02224 [math.LO]Abstract References Reviews Resources

Minimal Axiomatization of Boolean Algebras

Published 2023-04-05Version 1

In this paper, we present a new axiomatic system that is a minimal axiomatization of Boolean algebras. Furthermore, the symmetric difference is shown to be algebraically analogous to the modular difference of two numbers, which also means that a Boolean ring is generally impossible. Finally, a new method to prove equivalent relations in a Boolean algebra is also given.

Comments: 13 pages

Categories: math.LO

Subjects: 03G05, 03G25

Keywords: boolean algebra, minimal axiomatization, axiomatic system, equivalent relations, symmetric difference

Related articles: Most relevant | Search more

arXiv:2006.04673 [math.LO] (Published 2020-06-08)

Boolean algebras of conditionals, probability and logic

Tommaso Flaminio, Lluis Godo, Hykel Hosni

arXiv:1105.1250 [math.LO] (Published 2011-05-06)

On the isomorphism problem for measures on Boolean algebras

Piotr Borodulin-Nadzieja, Mirna Džamonja

arXiv:2308.08664 [math.LO] (Published 2023-08-16)