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

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!