Measuring inconsistency in finitary first-order logic

MaRDI QIDQ5869698FDOQ5869698

Authors: John Grant 

Publication date: 28 September 2022

Recommendations

• Measuring inconsistency in generalized propositional logic
• Inconsistency measurement
• Measuring inconsistency with many-valued logics
• Inconsistency Tolerance
• Computing inconsistency measure based on paraconsistent semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (4)

• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Logical and Evidential Inconsistencies Meet: First Steps
• Handling and measuring inconsistency in non-monotonic logics
• Inconsistency measurement

This page was built for publication: Measuring inconsistency in finitary first-order logic

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