Besnard, Philippe
A Note on Directions for Cumulativity.
(2014)
IfCoLog Journal of Logics and their Applications, 1 (2). 77-81. ISSN 2055-3714
|
(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 - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (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 On: | 08 Mar 2019 15:48 |
Repository Staff Only: item control page