Trivalent logics arising from L-models for the Lambek calculus with constants

DOI10.1080/11663081.2014.911522zbMath1398.03100OpenAlexW2020404480MaRDI QIDQ4583347

Stepan Kuznetsov

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2014.911522

zbMATH Keywords

Lambek calculustrivalent logicsmodels on subsets of free monoids

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Language models for some extensions of the Lambek calculus ⋮ Relational Models for the Lambek Calculus with Intersection and Constants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• Compatibility of a Categorial Grammar With an Associated Category System
• Natural 3-valued logics—characterization and proof theory

This page was built for publication: Trivalent logics arising from L-models for the Lambek calculus with constants