scientific article; zbMATH DE number 68516
From MaRDI portal
Publication:4014404
Recommendations
- scientific article; zbMATH DE number 4002074
- scientific article; zbMATH DE number 4134014
- On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
- Distributive full nonassociative Lambek calculus with \(\mathrm{S4}\)-modalities is context-free
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
Cited in
(25)- 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
- A rule-extension of the non-associative Lambek calculus
- Lambek calculus with conjugates
- On involutive nonassociative Lambek calculus
- scientific article; zbMATH DE number 4134014 (Why is no real title available?)
- Lambek grammars as combinatory categorial grammars
- scientific article; zbMATH DE number 3887659 (Why is no real title available?)
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- scientific article; zbMATH DE number 4002074 (Why is no real title available?)
- The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
- Phrase Structure Languages Generated by Categorial Grammars With Product
- Normal form of derivations in the nonassociative and commutative lambek calculus with product
- scientific article; zbMATH DE number 1735907 (Why is no real title available?)
- scientific article; zbMATH DE number 1998331 (Why is no real title available?)
- On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
- Non‐associative Lambek Categorial Grammar in Polynomial Time
- Distributive full nonassociative Lambek calculus with \(\mathrm{S4}\)-modalities is context-free
- On embedding Lambek calculus into commutative categorial grammars
- Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
- On associative Lambek calculus extended with basic proper axioms
- Logical Aspects of Computational Linguistics
- Iterative division in the distributive full non-associative Lambek calculus
- The Pentus theorem for Lambek calculus with simple nonlogical axioms
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars
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 Q4014404)
