تقرير
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
| العنوان: | Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic |
|---|---|
| المؤلفون: | Rogozin, Daniel |
| المصدر: | EPTCS 381, 2023, pp. 60-70 |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Logic in Computer Science |
| الوصف: | 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. Comment: In Proceedings AMSLO 2023, arXiv:2308.03679 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.4204/EPTCS.381.7 |
| URL الوصول: | http://arxiv.org/abs/2308.04521 |
| رقم الأكسشن: | edsarx.2308.04521 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.4204/EPTCS.381.7 |
|---|