Lambek Theorem Proving and feature unification

  • Authors:

  • Erik-Jan van der Linden

  • Affiliations:

  • Tilburg University, Tilburg, The Netherlands

  • Venue:
  • EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract

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