L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit

DOI10.1007/978-3-662-59533-6_23OpenAlexW2951877874MaRDI QIDQ2303603

Stepan Kuznetsov, Andrej Scedrov, Max I. Kanovich

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_23

zbMATH Keywords

undecidabilityLambek calculusincompletenessrelational modelsdistributive lawlanguage models

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Language models for some extensions of the Lambek calculus ⋮ Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Soft subexponentials and multiplexing

This page was built for publication: L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit