Words, proofs, and diagrams /

Words, proofs, and diagrams /

Saved in:

Bibliographic Details
Imprint:	Stanford, Calif. : CSLI Publications, c2002.
Description:	x, 276 p. : ill. ; 24 cm.
Language:	English
Subject:	Language and logic. Reasoning. Logic diagrams. Computational linguistics. Visual communication. Semantics (Philosophy) Computational linguistics. Language and logic. Logic diagrams. Reasoning. Semantics (Philosophy) Visual communication.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4775948

Hidden Bibliographic Details
Other authors / contributors:	Barker-Plummer, Dave.
ISBN:	1575864053 (hardback : alk. paper) 1575864061 (pbk. : alk. paper)
Notes:	Includes bibliographical references and index.

Table of Contents:

Contributors
Foreword
I. Diagrammatic Reasoning
Editorial Introduction
Logical Patterns in Space
Marco
Diagrams and Computational Efficacy
Kathi Fisler
Comparing the Efficacy of Visual Languages
II. Computation
Editorial Introduction
Taking the Sting out of Subjective Probability
Constraint Programming in Computational Linguistics
Lineales: Algebras and Categories in the Semantics of Linear Logic
Proof Tree Automata
III. Logic and Language
Editorial Introduction
Questions Under Cover
Pragmatics, and That's an Order
Meaning, Interpretation and Semantics
On the Compositionality of Idioms
Dag Westerstaring;hl
Index