Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
Daniel Rogozin
In this paper, we consider the full Lambek calculus enriched with subexponential modalities in a distributive setting. We show that the distributive Lambek calculus with subexponen…
cs.LO2019
Quantale semantics of Lambek calculus with subexponential modalities
Daniel Rogozin
In this paper, we consider the polymodal version of Lambek calculus with subexponential modalities initially introduced by Kanovich, Kuznetsov, Nigam, and Scedrov and its quantale…