A Note on Directions for Cumulativity.

Logical systems are often characterized as closure systems, by means of unary operators satisfying Reflexivity, Idempotence and Monotony. In order to capture non-monotone systems, Monotony can be replaced by Cumulativity, namely Restricted Cut and Cautious Monotony. This short note shows that in such a context, Restricted Cut is redundant.

Authors

• Philippe Besnard

Keywords

• Non-Monotonic Consequence
• Cumulativity