Pages that link to "Item:Q1611249"
From MaRDI portal
The following pages link to On reduction systems equivalent to the Lambek calculus with the empty string (Q1611249):
Displaying 4 items.
- The Pentus theorem for Lambek calculus with simple nonlogical axioms (Q817678) (← links)
- On the directional Lambek calculus (Q3577908) (← links)
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569) (← links)
- On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String (Q5432673) (← links)