Logic, Language and Reasoning -

Logic, Language and Reasoning

Essays in Honour of Dov Gabbay
Buch | Softcover
429 Seiten
2012 | Softcover reprint of the original 1st ed. 1999
Springer (Verlag)
978-94-010-5936-7 (ISBN)
53,49 inkl. MwSt
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic.
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in a car on the way to Amsterdam airport he gave an interview to Jelle Gerbrandy and Anne-Marie Mineur. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic. In addition, this volume contains a partially annotated bibliography of his main papers and books. The length of the bibliography and the broadness of the topics covered there speaks for itself.

Dov Gabbay: “I am a logic”.- Research Themes of Dov Gabbay.- Proofs, Labels and Dynamics in Natural Language.- What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers.- Imperative History: Two-dimensional Executable Temporal Logic.- Diagrammatic Reasoning in Projective Geometry.- On Sentences of the Kind “Sentence ‘p’ is About Topic t”.- Two Traditions in the Logic of Belief: Bringing them Together.- Elimination of Predicate Quantifiers.- Labelled Natural Deduction.- A General Reasoning Scheme for Underspecified Representations.- Deductive Systems and Categories in Linguistics.- Towards a Procedural Model of Natural-language Interpretation Crossover: A Case Study.- Transformation Methods in LDS.- Labelled Deduction in the Composition of Form and Meaning.- Formalisms for Non-formal Languages.- Names Index.

Reihe/Serie Trends in Logic ; 5
Zusatzinfo X, 429 p.
Verlagsort Dordrecht
Sprache englisch
Maße 160 x 240 mm
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Logik
Geisteswissenschaften Sprach- / Literaturwissenschaft Sprachwissenschaft
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Mathematik / Informatik Mathematik Allgemeines / Lexika
Mathematik / Informatik Mathematik Angewandte Mathematik
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 94-010-5936-5 / 9401059365
ISBN-13 978-94-010-5936-7 / 9789401059367
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …

von Yuval Noah Harari

Buch | Hardcover (2024)
Penguin (Verlag)
28,00