scientific article; zbMATH DE number 842687

MaRDI QIDQ4862312zbMATH OpenFDO

Authors Glyn Morrill

Publication date 7 February 1996

zbMATH Keywords

categorial grammarCurry-Howard correspondenceformal grammarLambek calculusMontague grammar

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• Categorial grammar and type theory
• scientific article; zbMATH DE number 1175489
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• scientific article; zbMATH DE number 4162855
• Intuitionistic categorial grammar

Cited in

(43)

• Types as graphs: Continuations in type logical grammar
• First-order Glue
• Optionality, scope, and licensing: An application of partially ordered categories
• Linguistic\(\leftrightarrow \)rational agents' semantics
• On the expressive power of abstract categorial grammars: Representing context-free formalisms
• Semantic bootstrapping of type-logical grammar
• Language and proof theory. Preface to the special issue on ``Proof theory and natural language
• Tree models and (labeled) categorial grammar
• Multimodal linguistic inference
• Fibred semantics for feature-based grammar logic
• Book review of: Jens Erik Fenstad, Grammar, geometry and brain
• Book review of: Răzvan Diaconescu, Institution-independent model theory
• Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
• Categorial dependency grammars
• On involutive nonassociative Lambek calculus
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• The displacement calculus
• On contextual domain restriction in categorial grammar
• Type logics and pregroups
• Overtly anaphoric control in type logical grammar
• Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\)
• On the logic of expansion in natural language
• Covert movement in logical grammar
• Event semantics and abstract categorial grammar
• Intuitionistic categorial grammar
• Learning discrete categorial grammars from structures
• Displacement logic for anaphora
• Categorial grammars and their logics
• scientific article; zbMATH DE number 1568792 (Why is no real title available?)
• Stochastic Lambek categorial grammars
• Learnability of type-logical grammars
• Extensions of Lambek calculi
• Some syntactic interpretations in different systems of full Lambek calculus
• Formalizing the IMA language: toward the minimalist program for compositional semantics
• Distributional semantics: a Montagovian view
• A categorial type logic
• Generalized Categorial Dependency Grammars
• A type reduction from proof-conditional to dynamic semantics
• Flexible composition in LTAG: quantifier scope and inverse linking
• The case for comparability
• Proof-theoretic aspects of the logic of scope
• Continuation semantics for the Lambek-Grishin calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4862312)