Pages that link to "Item:Q2835058"

The following pages link to Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058):

Displaying 9 items.

• The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
• Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100) (← links)
• Soft subexponentials and multiplexing (Q2096472) (← links)
• Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
• (Q5019675) (← links)
• (Q5111318) (← links)
• Subexponentials in non-commutative linear logic (Q5236554) (← 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)