Some syntactic interpretations in different systems of full Lambek calculus

DOI10.1007/978-3-662-47197-5_2MaRDI QIDQ5213652zbMATHOpenAlexFDO

Authors 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)

Recommendations

• An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
• Extensions of Lambek calculi
• Logical Aspects of Computational Linguistics
• Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
• On involutive nonassociative Lambek calculus

Cites work

• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• scientific article; zbMATH DE number 3254899 (Why is no real title available?)
• A learnable representation for syntax using residuated lattices
• Algebraic aspects of cut elimination
• An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
• Completeness Results for Lambek Syntactic Calculus
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Disjunction property and complexity of substructural logics
• Distributive full Lambek calculus has the finite model property
• Distributive full nonassociative Lambek calculus with \(\mathrm{S4}\)-modalities is context-free
• Finite models of some substructural logics
• From word to sentence. A computational algebraic approach to grammar
• Interpolation and FEP for logics of residuated algebras
• Lambek grammars with the unit
• Language and grammar. Studies in mathematical linguistics and natural language
• Linear logic
• Logics without the contraction rule
• Modal nonassociative Lambek calculus with assumptions: complexity and context-freeness
• Multimodal linguistic inference
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Residuated lattices. An algebraic glimpse at substructural logics
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure
• The finite embeddability property for residuated groupoids.
• The finite model property for various fragments of intuitionistic linear logic
• The logic of categorial grammars. A deductive account of natural language syntax and semantics

Cited in

(2)

• An interpretation of full Lambek calculus in its variant without empty antecedents of sequents
• Extensions of Lambek calculi

This page was built for publication: Some syntactic interpretations in different systems of full Lambek calculus

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