![]() |
![]() |
Your cart is empty |
||
Showing 1 - 4 of 4 matches in All Departments
This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the "parsing as deduction" approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, Konig and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation, as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them. The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas.
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.
This book constitutes the refereed proceedings of the International
Conference on Formal and Applied Practical Reasoning, FAPR '96,
held in Bonn, Germany, in June 1996.
Design pattern (Kochrezepte) fur die Strukturierung von mathematischen Beweisen 24 verschiedene Beweismuster 70 Illustrationsbeispiele aus dem Alltag, der Mathematik und der Informatik Intuitive Einfuhrung transfiniter Konzepte
|
![]() ![]() You may like...
Integrating Lifestyle Medicine for…
Michael Via, Jeffrey Mechanick
Hardcover
R4,592
Discovery Miles 45 920
Carbs & Cals Very Low Calorie Recipes…
Chris Cheyette, Yello Balolia
Paperback
R366
Discovery Miles 3 660
Integrating Lifestyle Medicine for…
Michael Via, Jeffrey Mechanick
Paperback
R1,452
Discovery Miles 14 520
Sweet-Ass Journal to Optimize Your…
Heath Armstrong, Caitlin Grenier
Hardcover
R809
Discovery Miles 8 090
From Sugar to Splenda - A Personal and…
Bert Fraser-Reid
Hardcover
|