Non-standard logics for automated reasoning PDF
344 Pages·1988·34.168 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Preview Non-standard logics for automated reasoning
Description:
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.
See more
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
