Pages that link to "Item:Q2213927"
From MaRDI portal
The following pages link to A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927):
Displaying 6 items.
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- The Lambek calculus with iteration: two variants (Q1685925) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Complexity of the Lambek calculus and its fragments (Q2904061) (← links)
- Craig’s trick and a non-sequential system for the Lambek calculus and its fragments (Q5382579) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)