Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2304.02224 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909744762978304 |
|---|---|
| author | Zhang, Eugene |
| author_facet | Zhang, Eugene |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_02224 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Minimal Axiomatization of Boolean Algebras Zhang, Eugene Logic 03G05, 03G25 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. |
| title | Minimal Axiomatization of Boolean Algebras |
| topic | Logic 03G05, 03G25 |
| url | https://arxiv.org/abs/2304.02224 |