Author:Matthias Baaz

Publications
LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors) EPiC Series in Computing, volume 13
Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs Matthias Baaz and Mariami Gamsakhurdia In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
First-Order Tableaux with Unification for Henkin Quantifiers Matthias Baaz, Mariami Gamsakhurdia, Anela Lolic and Stella Mahler In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
On Translations of Epsilon Proofs to LK Matthias Baaz and Anela Lolic In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic Matthias Baaz and Anela Lolic In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gödel logics and the fully boxed fragment of LTL Matthias Baaz and Norbert Preining In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gödel logics with an operator shifting truth values Matthias Baaz and Oliver Fasching In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.

Keyphrases

eigenvariable conditions, epsilon calculus², error correction, Gödel logic², Gödel logics, Henkin quantifiers, Herbrand disjunctions, Herbrand expansions, Hilbert's epsilon formalism, incomplete proofs, incorrect proofs, interpolation, LTL, Lyndon interpolation, monadic fragment, non-recursiveness, proof theory, ring operator, sequent calculus, Skolemization, tableau methods, weakest preconditions, Łukasiewicz logic.