Statements (63)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:Logic
|
gptkbp:applies_to |
linguistics
|
gptkbp:can_be_combined_with |
syntax and semantics
|
gptkbp:developed_by |
gptkb:Richard_Montague
the 1970s |
gptkbp:focuses_on |
natural language semantics
|
gptkbp:has_applications_in |
gptkb:Artificial_Intelligence
|
https://www.w3.org/2000/01/rdf-schema#label |
Montague grammar
|
gptkbp:influenced_by |
gptkb:Logic
|
gptkbp:is_applied_in |
natural language processing
language modeling syntax-semantics interface |
gptkbp:is_associated_with |
model-theoretic semantics
contextual semantics |
gptkbp:is_based_on |
gptkb:Set
|
gptkbp:is_challenged_by |
alternative semantic theories
|
gptkbp:is_characterized_by |
its use of quantifiers
|
gptkbp:is_compared_to |
other grammatical frameworks
|
gptkbp:is_considered |
a foundational theory
a significant contribution to linguistics |
gptkbp:is_considered_as |
a precursor to modern semantics
|
gptkbp:is_criticized_for |
complexity
|
gptkbp:is_described_as |
formal proofs
|
gptkbp:is_discussed_in |
gptkb:academic_conferences
linguistic communities linguistic literature |
gptkbp:is_documented_in |
academic papers
|
gptkbp:is_examined_in |
gptkb:scholars
gptkb:Linguistics philosophical discussions academic discourse computational models of language |
gptkbp:is_explored_in |
case studies
cognitive science semantic theory philosophy of language syntax theory theoretical frameworks. |
gptkbp:is_influenced_by |
mathematical logic
|
gptkbp:is_influential_in |
theoretical linguistics
|
gptkbp:is_linked_to |
truth-conditional semantics
formal semantics research |
gptkbp:is_noted_for |
its treatment of ambiguity
|
gptkbp:is_part_of |
formal semantics
|
gptkbp:is_recognized_for |
its rigorous approach
|
gptkbp:is_reflected_in |
syntactic structures
language processing systems semantic representations |
gptkbp:is_related_to |
intensional logic
discourse representation theory |
gptkbp:is_reviewed_by |
linguistic journals
|
gptkbp:is_supported_by |
computational models
|
gptkbp:is_taught_in |
linguistics courses
|
gptkbp:is_used_in |
computational linguistics
|
gptkbp:is_utilized_by |
gptkb:Linguistics
|
gptkbp:is_utilized_for |
language analysis
|
gptkbp:is_utilized_in |
text analysis
language technology |
gptkbp:provides |
a framework for compositionality
|
gptkbp:uses |
lambda calculus
|
gptkbp:bfsParent |
gptkb:Barbara_Partee
gptkb:Richard_Montague |
gptkbp:bfsLayer |
5
|