Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)

07/06/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, considering a classical one-sided multi-succedent classical version of the system, following the exponential-free calculi of Buszkowski's and de Groote and Lamarche's works, where 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