gptkbp:instanceOf
|
context-free grammar
linguistic theory
|
gptkbp:analyzes
|
Semantic composition
Syntactic structure
|
gptkbp:application
|
gptkb:Computational_linguistics
Formal semantics
Natural language parsing
|
gptkbp:basisFor
|
gptkb:Lambek_calculus
gptkb:Montague_grammar
gptkb:Combinatory_categorial_grammar
|
gptkbp:describes
|
How words combine to form phrases and sentences
|
gptkbp:developedBy
|
gptkb:Yehoshua_Bar-Hillel
gptkb:Kazimierz_Ajdukiewicz
gptkb:Richard_Montague
|
gptkbp:field
|
gptkb:Linguistics
gptkb:logic
gptkb:Computational_linguistics
|
gptkbp:focusesOn
|
gptkb:syntax
Compositional semantics
|
gptkbp:hasVariant
|
gptkb:Montague_grammar
gptkb:AB_grammar
gptkb:Combinatory_categorial_grammar
gptkb:Lambek_grammar
|
https://www.w3.org/2000/01/rdf-schema#label
|
Categorial grammar
|
gptkbp:influenced
|
gptkb:Lambek_calculus
gptkb:Montague_grammar
gptkb:Combinatory_categorial_grammar
Modern computational linguistics
|
gptkbp:influencedBy
|
gptkb:logic
gptkb:Combinatory_logic
Type theory
|
gptkbp:introducedIn
|
1930s
|
gptkbp:notablePublication
|
Yehoshua Bar-Hillel, "A Quasi-Arithmetical Notation for Syntactic Description" (1953)
Richard Montague, "Universal Grammar" (1970)
Kazimierz Ajdukiewicz, "Die syntaktische Konnexität" (1935)
|
gptkbp:relatedTo
|
gptkb:Lambek_calculus
gptkb:Combinatory_logic
gptkb:Lambda_calculus
gptkb:Montague_grammar
Type theory
|
gptkbp:subclassOf
|
Grammar formalism
|
gptkbp:uses
|
Categories
Functors
Functional application
Type assignments
Type-driven parsing
|
gptkbp:bfsParent
|
gptkb:Head-driven_Phrase_Structure_Grammar
|
gptkbp:bfsLayer
|
6
|