 |
Free and accessible knowledge |
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) Connect in order to contact the contributor
Submitted on : Monday, April 8, 2019 - 3:35:51 PM
Last modification on : Tuesday, June 14, 2022 - 12:12:30 PM
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, April 8, 2019 - 3:35:51 PM
Last modification on : Tuesday, June 14, 2022 - 12:12:30 PM
File
besnard_22717.pdf
Files produced by the author(s)