HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 proofs2, interpolation, Lyndon interpolation, primitive recursive arithmetic, Proof Schema2, Resolution Calculus, sequent calculus, Skolemization.

Copyright © 2012-2025 easychair.org. All rights reserved.