Pages that link to "Item:Q1679987"
From MaRDI portal
The following pages link to Undecidability of the Lambek calculus with subexponential and bracket modalities (Q1679987):
Displaying 5 items.
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- (Q4428885) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)