Classifications for inconsistent theories

DOI10.1305/NDJFL/1093888404zbMATH Open0305.02040OpenAlexW2055862540MaRDI QIDQ1217107FDOQ1217107

Authors: John 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

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

Cited In (33)

• Paraconsistent inference relations induced from inconsistency measures
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011
• How Dirty Is Your Relational Database? An Axiomatic Approach
• On the measure of conflicts: Shapley inconsistency values
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
• On measuring inconsistency using maximal consistent sets
• Relative inconsistency measures
• On the complexity of inconsistency measurement
• Analysing inconsistent first-order knowledgebases
• Responsibility for inconsistency
• Measuring inconsistency in some branching time logics
• Semantic inconsistency measures using 3-valued logics
• Measuring inconsistency in some logics with modal operators
• On the measure of conflicts: an argumentation-based framework
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Analysing inconsistent information using distance-based measures
• Introduction to the special issue on theories of inconsistency measures and their applications
• Quantifying conflicts in propositional logic through prime implicates
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• On measuring inconsistency in definite and indefinite databases with denial constraints
• Postulate satisfaction for inconsistency measures in monotonic logics and databases
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• Measuring inconsistency in some logics with tense operators
• Measuring inconsistency in generalized propositional logic
• Approaches to measuring inconsistency for stratified knowledge bases
• Localising iceberg inconsistencies
• On an MCS-based inconsistency measure
• Computing MUS-based inconsistency measures
• Policy-based inconsistency management in relational databases
• Inconsistency measurement

This page was built for publication: Classifications for inconsistent theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1217107)