scientific article; zbMATH DE number 842687
From MaRDI portal
Publication:4862312
zbMath0848.03007MaRDI QIDQ4862312
Publication date: 7 February 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Natural language processing (68T50)
Related Items (38)
Event Semantics and Abstract Categorial Grammar ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ 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 ⋮ Displacement logic for anaphora ⋮ Linguistic\(\leftrightarrow \)rational agents' semantics ⋮ On involutive nonassociative Lambek calculus ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Strong and Weak Quantifiers in Focused NL$$_{\text {CL}}$$ ⋮ On the Logic of Expansion in Natural Language ⋮ The displacement calculus ⋮ Learning discrete categorial grammars from structures ⋮ Categorial Grammars and Their Logics ⋮ On contextual domain restriction in categorial grammar ⋮ Type logics and pregroups ⋮ Covert Movement in Logical Grammar ⋮ Distributional Semantics: A Montagovian View ⋮ A Categorial Type Logic ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Stochastic Lambek Categorial Grammars ⋮ Learnability of type-logical grammars ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ On the expressive power of abstract categorial grammars: Representing context-free formalisms ⋮ Book review of: Jens Erik Fenstad, Grammar, geometry and brain ⋮ Book review of: Răzvan Diaconescu, Institution-independent model theory ⋮ Semantic bootstrapping of type-logical grammar ⋮ Generalized Categorial Dependency Grammars ⋮ Types as graphs: Continuations in type logical grammar ⋮ First-order Glue ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Formalizing the IMA Language: Toward the Minimalist Program for Compositional Semantics ⋮ Optionality, scope, and licensing: An application of partially ordered categories ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ Overtly Anaphoric Control in Type Logical Grammar ⋮ Extensions of Lambek Calculi ⋮ Categorial dependency grammars
This page was built for publication:
