Feature Unification can be integrated with Lambek Theorem Proving in a simple and straightforward way. Two principles determine all distribution of features in LTP. It is not necessary to stipulate other principles or include category-valued features where other theories do. The structure of categories is discussed with respect to the notion of category structure of Gazdar et al. (1988).
CITATION STYLE
Linden, E. J. V. D. (1989). Lambek Theorem Proving and Feature Unification. In 4th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1989 - Proceedings (pp. 190–196). Association for Computational Linguistics (ACL). https://doi.org/10.3115/976815.976841
Mendeley helps you to discover research relevant for your work.