Back
On generalized Ajdukiewicz and Lambek calculi and grammars
Authors:
- Maciej Kandulski
Abstract
We show that derivation trees in the generalized Lambek calculus can be transformed to a normal form. This fact is employed in the proof of the inclusion of the class of phrase languages generated by categorial grammars based on the generalized Lambek calculus in the class of phrase languages generated by categorial grammars based on the generalized Ajdukiewicz calculus.
- Record ID
- UAM873a67b20f1546db906f664a7029c5cf
- Author
- Journal series
- Fundamenta Informaticae, ISSN 0169-2968
- Issue year
- 1997
- Vol
- 30
- Pages
- 169-181
- ASJC Classification
- ; ; ;
- Language
- (en) English
- Score (nominal)
- 0
- Score source
- journalList
- Publication indicators
- = 2; : 1999 = 0.785; : 2006 (2 years) = 0.586 - 2007 (5 years) =0.774
- Uniform Resource Identifier
- https://researchportal.amu.edu.pl/info/article/UAM873a67b20f1546db906f664a7029c5cf/
- URN
urn:amu-prod:UAM873a67b20f1546db906f664a7029c5cf
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.