Classifications for inconsistent theories

DOI10.1305/ndjfl/1093888404zbMath0305.02040OpenAlexW2055862540MaRDI QIDQ1217107

J. R. Grant

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

Mathematics Subject Classification ID

Model theory (03C99) Classical first-order logic (03B10) General logic (03B99)

Related Items

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