paper

Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic

arXiv:2308.04521 · doi:10.4204/EPTCS.381.7

Abstract

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 subexponentials is complete with respect to its Kripke frames via canonical extensions. In this approach, we consider subexponentials as S4-like modalities and each modality is interpreted with a reflexive and transitive relation similarly to usual Kripke semantics.

In Proceedings AMSLO 2023, arXiv:2308.03679

Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic · wovepaper