Barker-Plummer, Dave. creator Benthem,Johan Van Beaver,David I. text bibliography cau Stanford, Calif CSLI Publications c2002 2002 monographic eng

print

x, 276 p. : ill. ; 24 cm. 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 -- 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. edited by Dave Barker-Plummer ... [et al.]. Include Index Includes bibliographical references and index. Language and logic Reasoning Logic diagrams Computational linguistics Visual communication Semantics (Philosophy) P39 .W67 2002 401.43 PLU 1575864053 (hardback : alk. paper) 1575864061 (pbk. : alk. paper) 2002005214 http://www.loc.gov/catdir/description/uchi052/2002005214.html http://www.loc.gov/catdir/toc/fy033/2002005214.html http://www.loc.gov/catdir/description/uchi052/2002005214.html http://www.loc.gov/catdir/toc/fy033/2002005214.html 020403 20180403070815.0 12729343 ENG