Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
Logic in Computer Science
2023-08-10 v1
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.
Keywords
Cite
@article{arxiv.2308.04521,
title = {Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic},
author = {Daniel Rogozin},
journal= {arXiv preprint arXiv:2308.04521},
year = {2023}
}
Comments
In Proceedings AMSLO 2023, arXiv:2308.03679