A restricted fragment of the Lambek calculus with iteration and intersection operations

DOI10.1007/S10469-020-09586-9zbMath1485.03053OpenAlexW3045958053MaRDI QIDQ2213927

Stepan Kuznetsov, N. S. Ryzhkova

Publication date: 3 December 2020

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-020-09586-9

zbMATH Keywords

Lambek calculusKleene iterationalgebra of binary relationsalgebra of formal languagescomplexity of derivability problem

Mathematics Subject Classification ID

Other algebras related to logic (03G25) 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)

Related Items (2)

Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Relational models for the Lambek calculus with intersection and unit

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Linear logic
• Iterative division in the distributive full non-associative Lambek calculus
• Lambek calculus and its relational semantics: Completeness and incompleteness
• The Lambek calculus with iteration: two variants
• Models for the Lambek calculus
• L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
• On the complexity of reasoning in Kleene algebra
• Automata Studies. (AM-34)
• The Mathematics of Sentence Structure
• On Action Logic: Equational Theories of Action Algebras
• Logics without the contraction rule
• Compatibility of a Categorial Grammar With an Associated Category System
• Product-free Lambek calculus and context-free grammars
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
• Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Proof theory

This page was built for publication: A restricted fragment of the Lambek calculus with iteration and intersection operations