Some Syntactic Interpretations in Different Systems of Full Lambek Calculus

DOI10.1007/978-3-662-47197-5_2zbMath1429.03089OpenAlexW1210449879MaRDI QIDQ5213652

Wojciech Buszkowski

Publication date: 4 February 2020

Published in: Modality, Semantics and Interpretations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47197-5_2

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Relative consistency and interpretations (03F25)

Related Items (1)

Extensions of Lambek Calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Disjunction property and complexity of substructural logics
• Linear logic
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Residuated lattices. An algebraic glimpse at substructural logics
• Distributive full Lambek calculus has the finite model property
• The Lambek calculus enriched with additional connectives
• Algebraic aspects of cut elimination
• Multimodal linguistic inference
• The finite embeddability property for residuated groupoids.
• Finite Models of Some Substructural Logics
• Interpolation and FEP for logics of residuated algebras
• A Learnable Representation for Syntax Using Residuated Lattices
• Lambek Grammars with the Unit
• The Mathematics of Sentence Structure
• Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Logics without the contraction rule
• Completeness Results for Lambek Syntactic Calculus
• The finite model property for various fragments of intuitionistic linear logic
• Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free
• An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents

This page was built for publication: Some Syntactic Interpretations in Different Systems of Full Lambek Calculus