Non-Standard Logics for Automated Reasoning
Philippe Smets (ed.)
Academic Press (1988)
Abstract
Although there are a few books available that give brief surveys of a variety of nonstandard logics, there is a growing need for a critical presentation providing both a greater depth and breadth of insight into these logics. This book assembles a wider and deeper view of the many potentially applicable logics. Three appendixes provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. These tutorials and the bibliography included in the appendixes provide useful reference material for the reader.Call number
QA9.4.N65 1988
ISBN(s)
0126495203 9780126495201
DOI
10.2307/2275202
My notes
Chapters
Similar books and articles
Review: John Arnold Kalman, Automated Reasoning with Otter. [REVIEW]Dale Myers - 2002 - Bulletin of Symbolic Logic 8 (3):428-429.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Mathematical Reasoning: Analogies, Metaphors, and Images.Lyn D. English (ed.) - 1997 - L. Erlbaum Associates.
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical.Dov M. Gabbay (ed.) - 2002 - Elsevier.
Analytics
Added to PP
2009-01-28
Downloads
42 (#280,073)
6 months
6 (#132,731)
2009-01-28
Downloads
42 (#280,073)
6 months
6 (#132,731)
Historical graph of downloads
Citations of this work
Knowledge-driven versus data-driven logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.
Multiple agent possibilistic logic.Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned & Henri Prade - 2013 - Journal of Applied Non-Classical Logics 23 (4):299-320.