ACL RD-TEC 1.0 Summarization of C86-1019
Paper Title:
METHODOLOGY AND VERIFIABILITY IN MONTAGUE GRAMMAR
METHODOLOGY AND VERIFIABILITY IN MONTAGUE GRAMMAR
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- combinatory logic
- concept
- concepts
- content words
- definite noun
- definite noun phrases
- denotation
- device
- fact
- first-order logic
- formal language
- formal logic
- formalisms
- grammar
- hypotheses
- hypothesis
- index
- inference rules
- inferences
- intensional logic
- interpretation
- lambda
- lexica
- linguistic
- linguistic expressions
- linguistic theory
- linguistics
- lisp
- logic
- logical form
- logical forms
- mapping
- mathematics
- meaning
- meanings
- mechanisms
- methodology
- modal logic
- modality
- model theory
- montague grammar
- natural language
- natural langufige
- noun phrases
- ontology
- opinions
- predicate logic
- procedure
- proper name
- propositions
- relation
- representations
- semantic
- semantic interpretation
- semantic structure
- sentence
- sentences
- slot
- syntactic structure
- syntax
- syntax and semantics
- terms
- theorem
- theories
- theory
- transformational grammar
- transitive verb
- translations
- type theory
- universal grammar
- universal quantification
- verb
- word
- words
