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
Lambek calculusKleene iterationalgebra of binary relationsalgebra of formal languagescomplexity of derivability problem
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)
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