Full Idea
Conservative core of non-monotonic logic:Reflexivity (p proves p), Cut (if p proves q, it proves their joint implications), Cautious Monotonicity, Left Logical Equivalence (equivalences have same consequences), Right Weakening (non-m preserves classical).
Gist of Idea
Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening
Source
G. Aldo Antonelli (Non-Monotonic Logic [2014], 3.5.1)
Book Reference
'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.18
A Reaction
[Highly compressed, and without symbols]
Related Idea
Idea 19112 Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli]