Journal of Symbolic Logic 66 (2):517 - 535 (2001)

Harrie De De Swart
Erasmus University Rotterdam
We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not determine the meaning of deducibility and inference as implication-without-exceptions
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2695029
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,425
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Five Faces of Minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.
Efficient Reasoning About Rich Temporal Domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
9 ( #898,680 of 2,420,825 )

Recent downloads (6 months)
1 ( #543,487 of 2,420,825 )

How can I increase my downloads?


My notes