Classifications for inconsistent theories
From MaRDI portal
Publication:1217107
DOI10.1305/ndjfl/1093888404zbMath0305.02040MaRDI QIDQ1217107
Publication date: 1978
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888404
Related Items
On the measure of conflicts: an argumentation-based framework, Measuring inconsistency in some branching time logics, Measuring inconsistency in generalized propositional logic extended with nonunary operators, Postulate satisfaction for inconsistency measures in monotonic logics and databases, Semantic inconsistency measures using 3-valued logics, On measuring inconsistency in definite and indefinite databases with denial constraints, A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure, Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases, On the measure of conflicts: Shapley inconsistency values, A syntax-based approach to measuring the degree of inconsistency for belief bases, Responsibility for inconsistency, Introduction to the special issue on theories of inconsistency measures and their applications, Analysing inconsistent information using distance-based measures, Quantifying conflicts in propositional logic through prime implicates, Measuring inconsistency in some logics with modal operators, Measuring inconsistency in some logics with tense operators, Paraconsistent inference relations induced from inconsistency measures, Measuring inconsistency in generalized propositional logic, Relative inconsistency measures, On the complexity of inconsistency measurement, Policy-based inconsistency management in relational databases, Approaches to measuring inconsistency for stratified knowledge bases, On an MCS-based inconsistency measure, Analysing inconsistent first-order knowledgebases, Localising iceberg inconsistencies, 2011 North American Annual Meeting of the Association for Symbolic Logic, Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution, Inconsistency Measurement, On Measuring Inconsistency Using Maximal Consistent Sets, Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, How Dirty Is Your Relational Database? An Axiomatic Approach