2023/04/05 by Zhang, Eugene
#03G05 #03G25 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2304.02224
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. Finally, a new method to prove equivalent relations in a Boolean algebra is also given.