Skip to Main content Skip to Navigation
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.
Document type :
Journal articles
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

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

File

besnard_22717.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02092976, version 1
  • OATAO : 22717

Citation

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

Share

Metrics

Record views

16

Files downloads

11