Eben Blaisdell (University of Pennsylvania, USA) |
Max Kanovich (University College London, UK) |
Stepan L. Kuznetsov (Steklov Mathematical Institute of RAS, Russia and HSE University, Russia) |
Elaine Pimentel (University College London, UK) |
Andre Scedrov (University of Pennsylvania, USA) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.381.3 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |