scientific article; zbMATH DE number 4134014
From MaRDI portal
zbMATH Open0693.03014MaRDI QIDQ3035262FDOQ3035262
Authors: MacIej Kandulski 
Publication date: 1988
Title of this publication is not available (Why is that?)
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\)
finite axiomatizationdeductive powernon-associative Lambek calculusaxiomatization of NLcompleteness with respect to a natural algebraic semantics of category hierarchies over free groupoidsGentzen-style formalismproduct-free subsystem
Cited In (18)
- On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
- Multimodal linguistic inference
- On the complexity of nonassociative Lambek calculus with unit
- Categorial grammars and their logics
- On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
- Multi-sorted residuation
- Title not available (Why is that?)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
- \(K\)-valued non-associative Lambek grammars are learnable from function-argument structures
- On associative Lambek calculus extended with basic proper axioms
- Extensions of Lambek calculi
- Tree models and (labeled) categorial grammar
- Linear axiomatics of commutative product-free Lambek calculus
- Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi
- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
- Title not available (Why is that?)
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement
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)
