A Representation Result for Value-based Contraction |
| |
| Authors: | Horacio Arló Costa Hailin Liu |
| |
| Affiliation: | 1.Department of Philosophy,Carnegie Mellon University,Pittsburgh,USA;2.Institute of Logic and Cognition, Department of Philosophy,Sun Yat-sen University,Guangzhou,China |
| |
| Abstract: | Sven-Ove Hansson and Erik Olsson studied in Hansson and Olsson (Notre Dame Journal of Formal Logic, 36(1), 103–119 1995) the logical properties of an operation of contraction first proposed by Isaac Levi in Levi (1991). They provided a completeness result for the simplest version of contraction that they call Levi-contraction but left open the problem of characterizing axiomatically the more complex operation of value-based contraction or saturatable contraction. In this paper we propose an axiomatization for this operation and prove a completeness result for it. We argue that the resulting operation is better behaved than various rival operations of contraction defined in recent years. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
