Sequent calculi of finite dimension

04/01/2022
by   Antonio Bucciarelli, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset