Pages that link to "Item:Q3630172"
From MaRDI portal
The following pages link to Nonassociative Lambek Calculus with Additives and Context-Free Languages (Q3630172):
Displaying 14 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- On Residuation (Q5414955) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
