scientific article; zbMATH DE number 4134014
From MaRDI portal
Publication:3035262
Recommendations
- scientific article; zbMATH DE number 68516
- On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
- On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
- Cut-rule axiomatization of the syntactic calculus \(NL_0\)
Cited in
(18)- On the complexity of nonassociative Lambek calculus with unit
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
- Tree models and (labeled) categorial grammar
- Multimodal linguistic inference
- Linear axiomatics of commutative product-free Lambek calculus
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement
- Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
- scientific article; zbMATH DE number 68516 (Why is no real title available?)
- scientific article; zbMATH DE number 1998331 (Why is no real title available?)
- Categorial grammars and their logics
- On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
- K-valued non-associative Lambek grammars are learnable from function-argument structures
- Extensions of Lambek calculi
- Multi-sorted residuation
- On associative Lambek calculus extended with basic proper axioms
- On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3035262)
