Author

Mariami Gamsakhurdia

TU Wien, Vienna University of Technology

h-index 2 Homepage View on Semantic Scholar

We have 1 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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