Classifications for inconsistent theories
From MaRDI portal
Publication:1217107
DOI10.1305/ndjfl/1093888404zbMath0305.02040OpenAlexW2055862540MaRDI 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 (32)
2011 North American Annual Meeting of the Association for Symbolic Logic ⋮ On an MCS-based inconsistency measure ⋮ On Measuring Inconsistency Using Maximal Consistent Sets ⋮ Analysing inconsistent first-order knowledgebases ⋮ Localising iceberg inconsistencies ⋮ 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 generalized propositional logic extended with nonunary operators ⋮ Responsibility for inconsistency ⋮ Postulate satisfaction for inconsistency measures in monotonic logics and databases ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ 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 ⋮ Measuring inconsistency in generalized propositional logic ⋮ 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 ⋮ A syntax-based approach to measuring the degree of inconsistency for belief bases ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ Inconsistency Measurement ⋮ Measuring inconsistency in some branching time logics ⋮ Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution ⋮ On the measure of conflicts: an argumentation-based framework ⋮ Measuring inconsistency in some logics with modal operators ⋮ Relative inconsistency measures ⋮ On the complexity of inconsistency measurement ⋮ Measuring inconsistency in some logics with tense operators ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ Policy-based inconsistency management in relational databases ⋮ Approaches to measuring inconsistency for stratified knowledge bases
This page was built for publication: Classifications for inconsistent theories
