Pages that link to "Item:Q3188328"
From MaRDI portal
The following pages link to FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328):
Displaying 6 items.
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
- Versions of a local contraction subexponential in the Lambek calculus (Q6160496) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
