Premium
Some Decision Problems in the Theory of Syntactic Categories
Author(s) -
Buszkowski Wojciech
Publication year - 1982
Publication title -
mathematical logic quarterly
Language(s) - French
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19820283308
Subject(s) - citation , computer science , information retrieval , library science
Suite de l'article du meme A.: "Compatibility of a categorial grammar with an associated category system" (ibid., 1982, vol. 28, p. 229-238). L'A. expose trois resultats concernant les grammaires categorielles de J. Lambek: equivalence faible aux grammaires generatives generales| des extensions axiomatiques du calcul de Lambek sont completes et decidables| existence de methodes effectives pour determiner la collection finie de categories minimales associees a une expression complexe.