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

DOI10.1080/11663081.2014.911522zbMATH Open1398.03100OpenAlexW2020404480MaRDI QIDQ4583347FDOQ4583347

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

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

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)

Cites Work

• Title not available (Why is that?)
• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• Natural 3-valued logics—characterization and proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compatibility of a Categorial Grammar With an Associated Category System
• Title not available (Why is that?)

Cited In (3)

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

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)