Preprint
Sep 2026
Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs
It is shown that the epsilon calculus provides a natural framework for analyzing tolerance of falsity in proofs and for identifying conditions under which an incorrect proof can be semantically repaired.
Matthias Baaz, Mariami Gamsakhurdia
· 0 citations