Author:Anela Lolic

Publications
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
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

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