The Categorial Fine-Structure of Natural Language (2003)

Cached

Download Links

by Johan van Benthem
Citations:3 - 1 self

Active Bibliography

239 Categorial Type Logics – Michael Moortgat - 1997
10 Language, Lambdas, and Logic – Reinhard Muskens - 2003
Acknowledgments – Mario Fadda
1 Quantifier Scope in Formal Linguistics – E. G. Ruys, Yoad Winter
3 Proof theory and formal grammars: applications of normalization – Hans-joerg Tiede - 2003
Mathematical Structures in Language – Edward L. Keenan, Lawrence S. Moss - 2009
Mathematical Structures in Language – n.n.
5 Lambek Calculus with Nonlogical Axioms – Wojciech Buszkowski - 2002
RESEARCH ARTICLE Parasitic scope – Chris Barker, Ă“ Springer, Science+business Media B. V, C. Barker, C. Barker - 2007
Parasitic Scope – Chris Barker Nyu
Categorial Grammars and Substructural Logics – Wojciech Buszkowski
A Type Theory for Typing, Meta-Typing, and Ontological Information in Discourse – Norihiro Ogata
19 Disjunction in alternative semantics – Luis Alonso-Ovalle - 2006
13 Modal Logic: A Semantic Perspective – Patrick Blackburn, Johan van Benthem - 1988
1 LOGICAL DYNAMICS MEETS LOGICAL PLURALISM? – unknown authors
14 On the semantic readings of proof-nets – Christian RetorĂ©, Xavier De Groote - 1996
Syntax and Semantics in Minimalist Grammars – Gregory M. Kobele
Typed lambda calculi and possible worlds models – Chris Potts
14 The Stories of Logic and Information – Johan van Benthem , et al. - 2007