Nonmonotonic Reasoning (1993)
by
V. W. Marek
,
A. Nerode
| Venue: | In Proc |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Marek93nonmonotonicreasoning,
author = {V. W. Marek and A. Nerode},
title = {Nonmonotonic Reasoning},
booktitle = {In Proc},
year = {1993},
publisher = {Springer}
}
OpenURL
Abstract
Classical logic is the study of ”safe ” formal reasoning. Western Philosophers de-veloped classical logic over a period of thirty-three centuries after its introduction in the form of syllogistic by Aristotle [1] in the third century B. C. Beginning in the nineteenth century with De Morgan [2] and Boole [3], responsibility for the develop-ment of classical logic moved from the philosophical to the mathematical community.







