Pages that link to "Item:Q5432673"
From MaRDI portal
The following pages link to On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String (Q5432673):
Displaying 6 items.
- 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)
- On the directional Lambek calculus (Q3577908) (← links)
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)