Computing Presuppositions and Implicatures in Mathematical Discourse

by Claus Zinn
Citations:1 - 1 self

Documents Related by Co-Citation

271 Presupposition projection as anaphora resolution – Rob van der Sandt - 1992
172 Proving theorems by pattern recognition – H Wang - 1961
81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
49 On proof and progress in mathematics – W P Thurston - 1990
49 Adventures of a Mathematician – S Ulam - 1983
47 Benthem Jutting. Checking Landau’s “Grundlagen” in the Automath system – L S van - 1977
45 Anaphora and Discourse Structure – Bonnie Webber, Matthew Stone, Aravind Joshi, Alistair Knott - 2003
41 The Elements of Style – W Strunk, E B White - 1959
39 Toward mechanical mathematics – H Wang - 1960
22 Free Choice Disjunction and Epistemic Possibility. Natural Language Semantics 8 – Thomas Ede Zimmermann - 2000