 |
Journal articles
A Note on Directions for Cumulativity
Abstract : 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.
Keywords :
Non-monotonic consequence
Cumulativity
Cited literature [7 references]
https://hal.archives-ouvertes.fr/hal-02092976
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 8, 2019 - 3:35:51 PM
Last modification on : Thursday, March 18, 2021 - 2:24:42 PM
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, April 8, 2019 - 3:35:51 PM
Last modification on : Thursday, March 18, 2021 - 2:24:42 PM
File
besnard_22717.pdf
Files produced by the author(s)