A logical framework with commutative and non-commutative subexponentials
From MaRDI portal
Publication:1799082
DOI10.1007/978-3-319-94205-6_16OpenAlexW2810130918MaRDI QIDQ1799082
Vivek Nigam, Stepan Kuznetsov, Andrej Scedrov, Max I. Kanovich
Publication date: 18 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_16
Related Items (6)
Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Kleene star, subexponentials without contraction, and infinite computations ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Infinitary action logic with exponentiation ⋮ Soft subexponentials and multiplexing ⋮ Non-associative, non-commutative multi-modal linear logic
Uses Software
This page was built for publication: A logical framework with commutative and non-commutative subexponentials
