Words, Proofs and Diagrams

. Ed(s): Barker-Plummer, Dave; Beaver, David I.; Benthem, Johan van; Luzio, Patrick Scotto Di

ISBN 10: 1575864061 / ISBN 13: 9781575864068

Verlag: The University of Chicago Press, 2002

Beschreibung

Editor(s): Barker-Plummer, Dave; Beaver, David I.; Benthem, Johan van; Luzio, Patrick Scotto Di. Series: Lecture Notes. Num Pages: 288 pages, Illustrations. BIC Classification: CFX; HPL; JMAQ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 152 x 16. Weight in Grams: 398. . 2002. 2. Paperback. . . . . Books ship from the US and Ireland.

Bestandsnummer des Verkäufers V9781575864068

Bibliografische Details

• Titel: Words, Proofs and Diagrams
• Verlag: The University of Chicago Press
• Erscheinungsjahr: 2002
• Sprache: Englisch
• ISBN-10: 1575864061
• ISBN-13: 9781575864068
• Einband: Softcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

The past 20 years have witnessed an ever-increasing number of interdisciplinay research collaborations as computer scientists, logicians, linguists, philosophers, and psychologists all explore the same question: how can logic illuminate the nature of information? This collection covers active research areas at the interface of logic, computer science, and linguistics: process logics, formal semantics, language processing, and a new area where all three meet - the study of images and graphics as information carriers, and the diagrammatic reasoning supported by them.

Über die Autorin bzw. den Autor

Dave Barker-Plummer is a research scientist at Stanford University's Center for the Study of Language and Information. David I. Beaver is assistant professor of linguistics at Stanford University. Johan van Benthem is professor of computer science at the University of Amsterdam and professor of philosophy at Stanford University. Patrick Scotto di Luzio earned his Ph.D. in philosophy at Stanford University.