Affordable Access

Publisher Website

Measuring coherence using LP-models

Authors
Journal
Journal of Applied Logic
1570-8683
Publisher
Elsevier
Publication Date
Volume
2
Issue
4
Identifiers
DOI: 10.1016/j.jal.2004.07.005
Keywords
  • Paraconsistent Logics
  • Many-Valued Logics
  • (In)Consistency Measures

Abstract

Abstract This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed.

There are no comments yet on this publication. Be the first to share your thoughts.