research
∙
04/01/2022
Sequent calculi of finite dimension
In recent work, the authors introduced the notion of n-dimensional Boole...
research
∙
06/18/2018
Use your Google Account to sign in to DeepAI