Relational Models for the Lambek Calculus with Intersection and Constants
Abstract
We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and Mikulas (1994) prove strong completeness. We show that it fails without this restriction, but, on the other hand, prove weak completeness for non-standard interpretation of constants. For the standard interpretation, even weak completeness fails. The weak completeness result extends to an infinitary setting, for so-called iterative divisions (Kleene star under division). We also prove strong completeness results for product-free fragments.
Cite
@article{arxiv.2210.00654,
title = {Relational Models for the Lambek Calculus with Intersection and Constants},
author = {Stepan L. Kuznetsov},
journal= {arXiv preprint arXiv:2210.00654},
year = {2024}
}
Comments
This article is an extended version of the conference paper presented at RAMiCS 2021