A Theory of Nonmonotonic Rule Systems

@inproceedings{Marek1990ATO,
  title={A Theory of Nonmonotonic Rule Systems},
  author={Victor W. Marek and Anil Nerode and Jeffrey B. Remmel},
  booktitle={LICS},
  year={1990}
}
In mathematics, a consequence drawn by a deduction from a set of premises can also drawn by the same deduction from any larger set of premises. The deduction remains a deduction no matter how the axioms are increased. This is monotonic reasoning, much imitated in other, less certain, disciplines. The very nature of monotonic reasoning makes mathematical proofs permanent, independent of new information. Thus it has been since Euclid and Aristotle. Theorems with complete proofs are never… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
16 Extracted Citations
35 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 16 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 35 references

Π1 classes and degrees of theories

  • C. G. Jockusch, R. I. Soare
  • Transactions of American Mathematical Society 173
  • 1972
Highly Influential
6 Excerpts

Countable retracing functions and Π2 predicates

  • C. G. Jockusch, T. G. McLaughlin
  • Pacific Journal of Mathematics 30
  • 1972
Highly Influential
2 Excerpts

Inheritance Reasoning in Autoepistemic Logic

  • M. Gelfond, H. Przymusińska
  • Manuscript
  • 1989
1 Excerpt

On the Relation between Truth Maintenance and Non-Monotonic Logics

  • M. Reinfrank, O. Dressler
  • In: Proceedings of International Joint Conference…
  • 1989
2 Excerpts

Logic Programming with Classical Negation

  • M. Gelfond
  • Unpublished Manuscript
  • 1988

Similar Papers

Loading similar papers…