Pages that link to "Item:Q2835058"
From MaRDI portal
The following pages link to Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058):
Displaying 13 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)
- Kalmár and Péter: Undecidability as a Consequence of Incompleteness (Q3195713) (← links)
- (Q3329437) (← links)
- (Q3342548) (← links)
- (Q4428885) (← links)
- (Q5019675) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (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)