Categorial Grammar

GPTKB entity

Statements (51)
Predicate Object
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