ACL RD-TEC 1.0 Summarization of C00-2091
Paper Title:
GENERATION, LAMBEK CALCULUS, MONTAGUE'S SEMANTICS AND SEMANTIC PROOF NETS
GENERATION, LAMBEK CALCULUS, MONTAGUE'S SEMANTICS AND SEMANTIC PROOF NETS
Primarily assigned technology terms:
Other assigned terms:
- axioms
- case
- decidability
- fact
- forest
- generation
- generation process
- grammars
- homomorphism
- index
- interpretation
- lexical entries
- lexical item
- lexical items
- lexicon
- linear logic
- linguistic
- logic
- meaning
- method
- parsing process
- polynomial time
- procedure
- process
- proof net
- relation
- search procedure
- semantic
- semantic expression
- semantic types
- sentence
- style
- syntactic categories
- syntactic category
- syntax
- term
- terms
- theorem
- word
- word order
- words
