Anela Lolic

According to our database, Anela Lolic authored at least 18 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sequent Calculi for Choice Logics.

Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran

J. Autom. Reason., June, 2024

On Proof Schemata and Primitive Recursive Arithmetic.

Alexander Leitsch, Anela Lolic, Stella Mahler

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

Herbrand's Theorem in Inductive Proofs.

Alexander Leitsch, Anela Lolic

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

On Translations of Epsilon Proofs to LK.

Matthias Baaz, Anela Lolic

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

Effective Skolemization.

Matthias Baaz, Anela Lolic

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

Towards a proof theory for quantifier macros.

Matthias Baaz, Anela Lolic

Inf. Comput., 2022

Andrews Skolemization May Shorten Resolution Proofs Non-elementarily.

Matthias Baaz, Anela Lolic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

Towards a proof theory for Henkin quantifiers.

Matthias Baaz, Anela Lolic

J. Log. Comput., 2021

Schematic Refutations of Formula Schemata.

David M. Cerna, Alexander Leitsch, Anela Lolic

J. Autom. Reason., 2021

2020

First-order interpolation derived from propositional interpolation.

Matthias Baaz, Anela Lolic

Theor. Comput. Sci., 2020

An abstract form of the first epsilon theorem.

Matthias Baaz, Alexander Leitsch, Anela Lolic

J. Log. Comput., 2020

On the Unification of Term Schemata.

David M. Cerna, Alexander Leitsch, Anela Lolic

Proceedings of the 34th International Workshop on Unification, 2020

A Globally Sound Analytic Calculus for Henkin Quantifiers.

Matthias Baaz, Anela Lolic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2019

Extraction of Expansion Trees.

Alexander Leitsch, Anela Lolic

J. Autom. Reason., 2019

Note on Globally Sound Analytic Calculi for Quantifier Macros.

Matthias Baaz, Anela Lolic

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.

Matthias Baaz, Anela Lolic

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem.

Matthias Baaz, Alexander Leitsch, Anela Lolic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation.

Matthias Baaz, Anela Lolic

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017