Highly Influenced

# 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} }

- Published 1990 in LICS
DOI:10.1109/LICS.1990.113736

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