ACL RD-TEC 1.0 Summarization of E99-1012
Paper Title:
AMBIGUOUS PROPOSITIONS TYPED
AMBIGUOUS PROPOSITIONS TYPED
Primarily assigned technology terms:
Other assigned terms:
- ambiguity
- anaphora
- approach
- case
- categorial grammar
- constraint satisfaction
- curry-howard isomorphism
- deduction
- derivations
- discourse
- disjunction
- entailment
- f-structures
- formal language
- grammar
- grammatical form
- grammaticality
- inference rules
- inferences
- information content
- logic
- mapping
- natural language
- natural language utterance
- nouns
- paragraph
- phrase
- predicate logic
- process
- proposition
- propositions
- representations
- semantic
- sentence
- sentences
- spurious ambiguity
- terms
- text
- theoremhood
- theory
- translations
- type theory
- underspecification
- utterance
- word
- words
