OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Note on Directions for Cumulativity

Besnard, Philippe A Note on Directions for Cumulativity. (2014) IfCoLog Journal of Logics and their Applications, 1 (2). 77-81. ISSN 2055-3714

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
125kB

Official URL: http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf

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.

Item Type:Article
HAL Id:hal-02092976
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:08 Mar 2019 15:48

Repository Staff Only: item control page