The higher dimensional propositional calculus
Abstract
In recent research, some of the present authors introduced the concept of an n-dimensional Boolean algebra and its corresponding propositional logic nCL, generalising the Boolean propositional calculus to n>= 2 perfectly symmetric truth values. This paper presents a sound and complete sequent calculus for nCL, named nLK. We provide two proofs of completeness: one syntactic and one semantic. The former implies as a corollary that nLK enjoys the cut admissibility property. The latter relies on the generalisation to the n-ary case of the classical proof based on the Lindenbaum algebra of formulas and Boolean ultrafilters.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.00435
- arXiv:
- arXiv:2204.00435
- Bibcode:
- 2022arXiv220400435B
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- arXiv admin note: text overlap with arXiv:1806.06537