Minimal Axiomatization of Boolean Algebras
Logic
2025-08-21 v3
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. Finally, a new method to prove equivalent relations in a Boolean algebra is also given.
Cite
@article{arxiv.2304.02224,
title = {Minimal Axiomatization of Boolean Algebras},
author = {Eugene Zhang},
journal= {arXiv preprint arXiv:2304.02224},
year = {2025}
}
Comments
The paper is found incorrect and will not be published (in near future)