Relational Models for the Lambek Calculus with Intersection and Constants

Relational Models for the Lambek Calculus with Intersection and Constants

Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10120 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 an...

Full description

Saved in:
Bibliographic Details
Main Author: Kuznetsov, Stepan L
Format: Journal Article
Language:English
Published: 15-12-2023
Subjects:
Computer Science - Logic in Computer Science
Mathematics - Logic
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10120 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.
DOI:10.48550/arxiv.2210.00654