Minimal Axiomatization of Boolean Algebras
From MaRDI portal
Publication:6432124
arXiv2304.02224MaRDI QIDQ6432124FDOQ6432124
Authors: Eugene Zhang 
Publication date: 5 April 2023
Abstract: 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.
This page was built for publication: Minimal Axiomatization of Boolean Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6432124)
