Pages that link to "Item:Q1679987"

The following pages link to Undecidability of the Lambek calculus with subexponential and bracket modalities (Q1679987):

Displaying 3 items.

• The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
• Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
• Subexponentials in non-commutative linear logic (Q5236554) (← links)