Anela Lolic

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Epsilon calculus provides shorter cut-free proofs	2026-04-29	Paper
Efficient interpolation beyond cut-free proofs: admissible cuts and optimized extraction	2026-03-20	Paper
An analytic representation of the semantics of first-order S5	2026-02-26	Paper
Extracting Herbrand systems from refutation schemata Journal of Logic and Computation	2025-10-29	Paper
Towards an analysis of proofs in arithmetic	2025-09-03	Paper
On translations of epsilon proofs to LK	2025-02-19	Paper
Herbrand's theorem in inductive proofs	2025-02-19	Paper
Sequent calculi for choice logics Journal of Automated Reasoning	2024-06-10	Paper
Effective Skolemization Logic, Language, Information, and Computation	2024-02-28	Paper
Sequent calculi for choice logics	2022-12-07	Paper
Andrews Skolemization may shorten resolution proofs non-elementarily	2022-07-01	Paper
Towards a proof theory for quantifier macros Information and Computation	2022-06-13	Paper
Towards a proof theory for Henkin quantifiers Journal Of Logic And Computation	2022-02-08	Paper
Schematic refutations of formula schemata Journal of Automated Reasoning	2021-11-23	Paper
An abstract form of the first epsilon theorem Journal Of Logic And Computation	2020-12-15	Paper
First-order interpolation derived from propositional interpolation Theoretical Computer Science	2020-08-25	Paper
A globally sound analytic calculus for Henkin quantifiers	2020-05-06	Paper
Note on globally sound analytic calculi for quantifier macros	2020-03-04	Paper
Lyndon interpolation holds for the prenex $\supset$ prenex fragment of Gödel logic EPiC Series in Computing	2019-07-04	Paper
Extraction of expansion trees Journal of Automated Reasoning	2019-03-20	Paper
A sequent-calculus based formulation of the extended first epsilon theorem	2018-04-06	Paper
First-order interpolation of non-classical logics derived from propositional interpolation	2018-01-04	Paper
Proof Schemata for Theories equivalent to $PA$: on the Benefit of Conservative Reflection Principles	2017-11-29	Paper
Epsilon Calculus Provides Shorter Cut-Free Proofs (available as arXiv preprint)	N/A	Paper
Herbrand's Theorem in Refutation Schemata (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Anela Lolic