The following pages link to Models for the Lambek calculus (Q1899151):
Displayed 14 items.
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← 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)
- Type logics and pregroups (Q2467212) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- (Q5019686) (← links)
- (Q5020954) (← links)
- (Q5111318) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents (Q5414969) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)