Pages that link to "Item:Q3964531"
From MaRDI portal
The following pages link to Compatibility of a Categorial Grammar With an Associated Category System (Q3964531):
Displaying 12 items.
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- The atomic theory of division of semiring ideals (Q950843) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- The finite model property for BCI and related systems (Q2563452) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Trivalent logics arising from L-models for the Lambek calculus with constants (Q4583347) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents (Q5414969) (← links)
