Pages that link to "Item:Q3577908"
From MaRDI portal
The following pages link to On the directional Lambek calculus (Q3577908):
Displaying 9 items.
- Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules (Q1005955) (← links)
- Lambek calculus with restricted contraction and expansion (Q1194112) (← links)
- Syntactic calculus with dependent types (Q1280047) (← links)
- The conjoinability relation in Lambek calculus and linear logic (Q1334986) (← links)
- Cut-rule axiomatization of the syntactic calculus \(NL_0\) (Q1582323) (← links)
- On reduction systems equivalent to the Lambek calculus with the empty string (Q1611249) (← links)
- Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String (Q3030800) (← links)
- (Q3222170) (← links)
- Logical Aspects of Computational Linguistics (Q5706946) (← links)