Blaisdell, Eben;
Kanovich, Max;
Kuznetsov, Stepan L;
Pimentel, Elaine;
Scedrov, Andre;
(2023)
Explorations in Subexponential Non-associative Non-commutative Linear Logic.
Electronic Proceedings in Theoretical Computer Science
, 381
pp. 4-19.
10.4204/EPTCS.381.3.
Preview |
Text
2308.05537v1.pdf - Published Version Download (187kB) | Preview |
Abstract
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.
| Type: | Article |
|---|---|
| Title: | Explorations in Subexponential Non-associative Non-commutative Linear Logic |
| Event: | 34th European Summer School in Logic, Language and Information (ESSLLI) |
| Location: | Ljubljana, Slovenia |
| Dates: | 7th-8th August 2023 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.4204/EPTCS.381.3 |
| Publisher version: | http://doi.org/10.4204/eptcs.381.3 |
| Language: | English |
| Additional information: | © Blaisdell, Kanovich, Kuznetsov, Pimentel, Scedrov. This work is licensed under the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/). |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10177066 |
Archive Staff Only
 |
View Item |
