Skip to Main content Skip to Navigation
Journal articles

A Note on Directions for Cumulativity

Philippe Besnard 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
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) <>
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)

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

40

Files downloads

25