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

DOI10.1080/11663081.2014.911522MaRDI QIDQ4583347zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On finite models of the Lambek calculus
• \(L\)-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
• An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Complexity of the Lambek calculus and its fragments

Cites work

• scientific article; zbMATH DE number 1222927 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• Compatibility of a Categorial Grammar With an Associated Category System
• Lambek calculus is NP-complete
• Natural 3-valued logics—characterization and proof theory
• The Mathematics of Sentence Structure

Cited in

(3)

• An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
• Language models for some extensions of the Lambek calculus
• Relational Models for the Lambek Calculus with Intersection and Constants

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583347)