research
∙
01/07/2022
TOWER-Complete Problems in Contraction-Free Substructural Logics
We investigate the computational complexity of a family of substructural...
research
∙
03/03/2020
Decision Problems for Propositional Non-associative Linear Logic and Extensions
In our previous work, we proposed the logic obtained from full non-assoc...
research
∙
09/30/2019