Pages that link to "Item:Q3964532"
From MaRDI portal
The following pages link to Some Decision Problems in the Theory of Syntactic Categories (Q3964532):
Displaying 19 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- On finite models of the Lambek calculus (Q813074) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- The displacement calculus (Q2429994) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability (Q5164857) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)
- On Associative Lambek Calculus Extended with Basic Proper Axioms (Q5414964) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)
