02061cam a2200349 a 450000100090000000300060000900500170001500800410003201000170007302000390009002000350012904000140016405000190017808200200019710000260021724500790024326000510032230000380037350000180041150400510042950508820048065000240136265000150138665000200140165000310142165000260145265000270147870000220150570000200152785600890154785600750163612729343GCWUF20180403070815.0020403s2002    caua     b    001 0 eng    a  2002005214  a1575864053 (hardback : alk. paper)  a1575864061 (pbk. : alk. paper)  cMAINbENG00aP39b.W67 200200a401.43221bPLU  aBarker-Plummer, Dave.00aWords, proofs, and diagrams /cedited by Dave Barker-Plummer ... [et al.].  aStanford, Calif. :bCSLI Publications,cc2002.  ax, 276 p. :bill. ;c24 cm.fP.B.  aInclude Index  aIncludes bibliographical references and index.0 aDiagrammatic 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 -- 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 -- Logic & 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. 0aLanguage and logic. 0aReasoning. 0aLogic diagrams. 0aComputational linguistics. 0aVisual communication. 0aSemantics (Philosophy)1 aBenthem,Johan Van1 aBeaver,David I.423Publisher descriptionuhttp://www.loc.gov/catdir/description/uchi052/2002005214.html413Table of contentsuhttp://www.loc.gov/catdir/toc/fy033/2002005214.html