Contents
Download:
|
|
unknown authors
http://www.let.uu.nl/%7ERaffaella.Bernardi/personal/proposal.ps
Add To MetaCart
Abstract:
a proof-theoretic perspective
Citations
| 289 | Dynamic Predicate Logic – Groenendijk, Stokhof - 1991 |
| 201 | Non-Monotonic Logic I – McDermott, Doyle - 1980 |
| 183 | Categorial Type Logics – Moortgat - 1997 |
| 88 | Dynamic montague grammar – Groenendijk, Stokhof - 1990 |
| 73 | Representing discourse in context – Eijck, Kamp - 1997 |
| 10 | Eijck. Typed logics with states – van - 1997 |
| 10 | Grail: An automated proof assistant for categorial grammar logics – Moot - 1998 |
| 10 | Studies on Natural Logic and Categorial Grammar – Valencia - 1991 |
| 8 | Meaning: Interpretation and inference – Benthem - 1987 |
| 7 | der Wouden. Negative Contexts – van - 1994 |
| 2 | Proof net for the lambek calculus-an overview – Lamarche, Retore - 1996 |
| 1 | Dynamic lambda calclus. Unpublished manuscipt, revised – Kohlhase, Kuschert - 1997 |
