Words, Proofs and Diagrams

Contributors
Foreword
I. Diagrammatic Reasoning
Editorial Introduction
Dave Barker-Plummer
Logical Patterns in Space
Marco Aiello and Johan van Benthem
Diagrams and Computational Efficacy
Kathi Fisler
Comparing the Efficacy of Visual Languages
Oliver Lemon
II. Computation
Editorial Introduction
Johan van Benthem
Taking the Sting out of Subjective Probability
Peter Grünwald
Constraint Programming in Computational Linguistics
Alexander Koller and Joachim Niehren
Lineales: Algebras and Categories in the Semantics of Linear Logic
Valeria de Paiva
Proof Tree Automata
Hans-Joerg Tiede
III. Logic and Language
Editorial Introduction
David I. Beaver
Questions Under Cover
Maria Aloni
Pragmatics, and That's an Order
David I. Beaver
Meaning, Interpretation and Semantics
Martin Stokhof
On the Compositionality of Idioms
Dag Westerståhl
Index