Decision Problems for Propositional Non-associative Linear Logic and Extensions

Hiromi Tanaka

In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-c…