ACL RD-TEC 1.0 Summarization of E89-1026
Paper Title:
LAMBEK THEOREM PROVING AND FEATURE UNIFICATION
LAMBEK THEOREM PROVING AND FEATURE UNIFICATION
Primarily assigned technology terms:
Other assigned terms:
- approach
- axioms
- categorial grammar
- categorial unification grammar
- category specification
- category structure
- composition
- composition rule
- compositionality
- control agreement principle
- derivation
- derivational equivalence
- distribution
- feature
- feature convention
- feature structure
- feature structures
- feature-value pair
- finite set
- foot feature principle
- formalism
- formalisms
- grammar
- implementation
- inference rule
- inference rules
- interpreter
- lambek theorem
- lexical category
- lexical items
- lexicon
- linguistic
- linguistic theory
- linguistics
- linguists
- mechanisms
- modifier
- names
- natural language
- paragraph
- phrase
- prepositional phrase
- process
- prolog implementation
- pronoun
- pronouns
- reflexive pronoun
- semantic
- semantic representation
- semantic structure
- sentence
- syntactic derivation
- syntactic features
- syntactic information
- term
- theorem
- theories
- theory
- unbounded dependencies
- unification categorial grammar
- unification formalism
- unification grammar
- verb
