Getting the most out of inconsistency (Q253133): Difference between revisions

This is an interesting paper, focusing on Canadian school of paraconsistency called ``preservationism''. The paper employs a method using covers and partitions. This is quite a prolific direction as it immediately relates to epistemic logic and epistemic games. Considering the fact that these areas can be viewed as playgrounds for paraconsistency, the paper seems to have many applications. The paper proposes a solution to the general methods of drawing consequences from inconsistent sets, which goes beyond belief revision. However, it'd be natural to expect to see few more mathematical results of this approach, which the paper seems to deliver fully.