Non-Standard Logics for Automated Reasoning

Academic Press (1988)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 76,215

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

42 (#280,073)

6 months
6 (#132,731)

Historical graph of downloads
How can I increase my 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.
The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Multiple agent possibilistic logic.Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned & Henri Prade - 2013 - Journal of Applied Non-Classical Logics 23 (4):299-320.

Add more citations

References found in this work

No references found.

Add more references