Pages that link to "Item:Q3188328"
From MaRDI portal
The following pages link to FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328):
Displaying 10 items.
- The contraction rule and decision problems for logics without structural rules (Q1181491) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable (Q3006115) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
- Extended Kripke lemma and decidability for hypersequent substructural logics (Q5145681) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← 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)