gptkbp:instanceOf
|
context-free grammar
linguistic theory
|
gptkbp:application
|
Natural language processing
Formal semantics
Syntax-semantics interface
|
gptkbp:describes
|
Syntactic structure
|
gptkbp:developedBy
|
gptkb:Yehoshua_Bar-Hillel
gptkb:Kazimierz_Ajdukiewicz
gptkb:Richard_Montague
|
gptkbp:field
|
gptkb:Linguistics
gptkb:syntax
gptkb:Computational_linguistics
|
gptkbp:firstDescribed
|
1935
|
gptkbp:hasConcept
|
gptkb:Functor
gptkb:Argument
Composition
Proof theory
Coordination
Parsing
Adjunction
Combinatory rules
Constituent structure
Derivation
Directional categories
Functional application
Lexical categories
Semantic composition
Slash notation
Substitution
Syntactic categories
Syntax-semantics correspondence
Type assignment
Type raising
|
https://www.w3.org/2000/01/rdf-schema#label
|
Categorial Grammar
|
gptkbp:influenced
|
gptkb:Montague_grammar
|
gptkbp:influencedBy
|
gptkb:logic
Type theory
|
gptkbp:notableVariant
|
gptkb:AB-grammar
gptkb:Lambek_Categorial_Grammar
gptkb:Combinatory_Categorial_Grammar
|
gptkbp:relatedTo
|
gptkb:Lambek_calculus
gptkb:Combinatory_logic
gptkb:Lambda_calculus
gptkb:Montague_grammar
Type theory
|
gptkbp:uses
|
Categories
Combinators
Function application
|
gptkbp:bfsParent
|
gptkb:Lexical_Functional_Grammar
gptkb:linguistic_theory
|
gptkbp:bfsLayer
|
5
|