Paper: Lambek Theorem Proving And Feature Unification

ACL ID E89-1026
Title Lambek Theorem Proving And Feature Unification
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1989
Authors

Feature Unification can be integrated with Lam- bek Theorem Proving in a simple and straightfor- ward way. Two principles determine all distribu- tion of features in LTP. It is not necessary to stip- ulate 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.