Some Adaptive Contributions to Logics of Formal Inconsistency

DOI10.1007/978-81-322-2719-9_15zbMath1423.03095OpenAlexW2474084439MaRDI QIDQ5241531

Diderik Batens

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_15

zbMATH Keywords

paraconsistent logiclogics of formal inconsistencyinconsistency-adaptive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Paraconsistent logics (03B53)

Cites Work

• Non-monotonic set theory as a pragmatic foundation of mathematics
• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• A universal logic approach to adaptive logics
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Computability issues for adaptive logics in multi-consequence standard format
• On the theory of inconsistent formal systems
• Spoiled for choice?
• Towards the unification of inconsistency handling mechanisms
• Strong, universal and provably non-trivial set theory by means of adaptive logic
• Logics of Formal Inconsistency
• A proof procedure for adaptive logics
• Tutorial on Inconsistency-Adaptive Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item