Stepan L. Kuznetsov - Relational Models for the Lambek Calculus with Intersection and Constants

lmcs:10120 - Logical Methods in Computer Science, December 18, 2023, Volume 19, Issue 4 - https://doi.org/10.46298/lmcs-19(4:32)2023
Relational Models for the Lambek Calculus with Intersection and ConstantsArticle

Authors: Stepan L. Kuznetsov

    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.


    Volume: Volume 19, Issue 4
    Published on: December 18, 2023
    Accepted on: September 27, 2023
    Submitted on: October 4, 2022
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic,03G15,F.4.1

    Consultation statistics

    This page has been seen 548 times.
    This article's PDF has been downloaded 101 times.