Sequent calculi of finite dimension

04/01/2022

∙

by   Antonio Bucciarelli, et al.

∙

0

∙

share

In recent work, the authors introduced the notion of n-dimensional Boolean algebra and the corresponding propositional logic nCL. In this paper, we introduce a sequent calculus for nCL and we show its soundness and completeness.