Work

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

Year: 2023

Type: preprint

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, 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2307.03059

Authors: Blaisdell, Eben, Kanovich, Max I., Kuznetsov, Stepan L., Pimentel, Elaine, Scedrov, Andre

Institutions: University of Pennsylvania, University College London, National Research University Higher School of Economics, Steklov Mathematical Institute

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Commission, National Research University Higher School of Economics

Awards: G434337789, Modalities in Substructural Logics: Theory, Methods and Applications

OpenAlex ID: W4383605071

Cites:

Cited by: 1

Related to: 10