The following pages link to (Q3035262):
Displayed 8 items.
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi (Q1825185) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Linear axiomatics of commutative product-free Lambek calculus (Q2277257) (← links)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures (Q2369010) (← links)
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms (Q3600569) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures (Q4924528) (← links)