scientific article; zbMATH DE number 842687
From MaRDI portal
zbMATH Open0848.03007MaRDI QIDQ4862312FDOQ4862312
Authors: Glyn Morrill 
Publication date: 7 February 1996
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic of natural languages (03B65) Natural language processing (68T50)
Cited In (41)
- Learning discrete categorial grammars from structures
- Title not available (Why is that?)
- Distributional semantics: a Montagovian view
- Continuation semantics for the Lambek-Grishin calculus
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Learnability of type-logical grammars
- Book review of: Răzvan Diaconescu, Institution-independent model theory
- Types as graphs: Continuations in type logical grammar
- Book review of: Jens Erik Fenstad, Grammar, geometry and brain
- Multimodal linguistic inference
- Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\)
- Formalizing the IMA language: toward the minimalist program for compositional semantics
- Categorial grammars and their logics
- Event semantics and abstract categorial grammar
- Generalized Categorial Dependency Grammars
- On the expressive power of abstract categorial grammars: Representing context-free formalisms
- First-order Glue
- On contextual domain restriction in categorial grammar
- A categorial type logic
- The displacement calculus
- Categorial dependency grammars
- Overtly anaphoric control in type logical grammar
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
- Semantic bootstrapping of type-logical grammar
- Type logics and pregroups
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
- Extensions of Lambek calculi
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language
- Tree models and (labeled) categorial grammar
- Optionality, scope, and licensing: An application of partially ordered categories
- Stochastic Lambek categorial grammars
- On the logic of expansion in natural language
- A type reduction from proof-conditional to dynamic semantics
- The case for comparability
- Fibred semantics for feature-based grammar logic
- Some syntactic interpretations in different systems of full Lambek calculus
- Linguistic\(\leftrightarrow \)rational agents' semantics
- Covert movement in logical grammar
- Flexible composition in LTAG: quantifier scope and inverse linking
- Displacement logic for anaphora
- On involutive nonassociative Lambek 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)
