The following pages link to (Q4218528):
Displaying 13 items.
- The displacement calculus (Q2429994) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- Lambek calculus with one division and one primitive type permitting empty antecedents (Q2513062) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids (Q2674673) (← links)
- Trivalent logics arising from L-models for the Lambek calculus with constants (Q4583347) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- (Q5111318) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents (Q5414969) (← links)
- The Monotone Lambek Calculus Is NP-Complete (Q5414974) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
