Some Adaptive Contributions to Logics of Formal Inconsistency
From MaRDI portal
Publication:5241531
DOI10.1007/978-81-322-2719-9_15zbMath1423.03095OpenAlexW2474084439MaRDI QIDQ5241531
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
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