Author:Anela Lolic

Publications
Herbrand's Theorem in Inductive Proofs Alexander Leitsch and Anela Lolic In:Proceedings of 25th 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
On Proof Schemata and Primitive Recursive Arithmetic Alexander Leitsch, Anela Lolic and Stella Mahler In:LPAR 2024 Complementary Volume
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

Keyphrases

epsilon calculus, Gödel logics, Herbrand expansions, Herbrand sequents, Hilbert's epsilon formalism, Inductive proofs², interpolation, Lyndon interpolation, primitive recursive arithmetic, Proof Schema², Resolution Calculus, sequent calculus, Skolemization.