Categorial grammar

GPTKB entity

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