A Note on Directions for Cumulativity

Philippe Besnard (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: Non-monotonic consequence; Cumulativity

Domaines: Logique en informatique [cs.LO]

Philippe Besnard. A Note on Directions for Cumulativity. IfColog Journal of Logics and their Applications (FLAP), 2014, 1 (2), pp.77-81. ⟨hal-02092976⟩