Lambek Theorem Proving And Feature Unification

CT 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).

• Type: Conference
• Year: 1989
• Where: EACL
• Authors: Erik-Jan van der Linden
• Keywords: CT Feature Unification, EACL 1989, Natural Language Processing, Straightforward Way, Theorem Proving