Words, proofs, and diagrams
By: edited by Dave Barker-Plummer ... [et al.].
Contributors: Barker-Plummer, Dave.
Publisher: CSLI Publications
Published: 2002
Place of publication: Stanford, Calif
Language: eng
Number of pages: 276
Subjects: Language and logic.; Reasoning.; Logic diagrams.; Computational linguistics.; Visual communication.; Semantics (Philosophy)
Notes: Includes bibliographical references and index.
Table of contents: title: Diagrammatic reasoning : editorial introduction / Dave Barker-Plummer; title: Logical patterns in space / Marco Aiello and Johan van Benthem; title: Diagrams and computational efficacy / Kathi Fisler; title: Comparing the efficacy of visual languages / Oliver Lemon; title: Computation : editorial introduction / Johan van Benthem; title: Taking the sting out of subjective probability / Peter Grünwald; title: Constraint programming in computational linguistics / Alexander Koller and Joachim Niehren; title: Lineales : algebras and categories in the semantics of linear logic / Valeria de Paiva; title: Proof tree automata / Hans-Joerg Tiede; title: Logic & language : editorial introduction / David I. Beaver; title: Questions under cover / Maria Aloni; title: Pragmatics, and that's an order / David I Beaver; title: Meaning, interpretation, and semantics / Martin Stokhof; title: On the  compositionality of idioms / Dag Westerstähl.