Measuring inconsistency in finitary first-order logic

MaRDI QIDQ5869698zbMATH OpenFDO

Authors John Grant

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

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

Cited in

(5)

• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Inconsistency measurement
• Handling and measuring inconsistency in non-monotonic logics
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Logical and Evidential Inconsistencies Meet: First Steps

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)