Explorations in Subexponential Non-associative Non-commutative Linear Logic

08/08/2023
by   Eben Blaisdell, et al.
0

In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, exhibiting a classical one-sided multi-succedent classical analogue of our intuitionistic system, following the exponential-free calculi of Buszkowski, and de Groote, Lamarche. A large fragment of the intuitionistic calculus is shown to embed faithfully into the classical fragment.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset