Pages that link to "Item:Q1685925"
From MaRDI portal
The following pages link to The Lambek calculus with iteration: two variants (Q1685925):
Displaying 5 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Recognition of derivability for the Lambek calculus with one division (Q2513061) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)