@第{zbMATH07789004条，作者={库兹涅佐夫，斯蒂芬·L·}，标题={带交集和常数的{Lambek}演算的关系模型}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={19}，数字={4}，页码={27}，注={Id/No 32}，年份＝{2023}，语言={英语}，DOI={10.46298/lmcs-19（4:32）2023}，关键词={03B70,68-XX}，zbMATH={7789004}}