A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Contracting Logics
[chapter]
2012
Lecture Notes in Computer Science
In this paper, inspired in the field of belief revision, it is presented a novel operation for defining a new logic given a known logic. The operation consists in removing some (maybe undesirable) derived rule from a logic. Besides removing the 'undesirable' rule, this operation (called contraction) should change the logic in a minimal way. This paper presents formal definitions for contraction operations over logics, both as sets of rationality postulates and by means of concrete
doi:10.1007/978-3-642-32621-9_20
fatcat:cfjuez672jcg7nfw3zttuipvr4