Anaphora and type logical grammar
From MaRDI portal
Publication:2475062
zbMath1136.03021MaRDI QIDQ2475062
Publication date: 7 March 2008
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Natural language processing (68T50) Linguistics (91F20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (8)
Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Displacement logic for anaphora ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction ⋮ On Jacobson’s “Towards a Variable-Free Semantics” ⋮ On contextual domain restriction in categorial grammar ⋮ Types as graphs: Continuations in type logical grammar ⋮ The Categorial Logic of Vacuous Components in Natural Language
This page was built for publication: Anaphora and type logical grammar
