Anela Lolic

Available identifiers

Publication	Date of Publication	Type
Sequent calculi for choice logics	2024-06-10	Paper
Effective Skolemization	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	2022-06-13	Paper
Towards a proof theory for Henkin quantifiers	2022-02-08	Paper
Schematic refutations of formula schemata	2021-11-23	Paper
An abstract form of the first epsilon theorem	2020-12-15	Paper
First-order interpolation derived from propositional interpolation	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 ⊃ Prenex Fragment of Gödel Logic	2019-07-04	Paper
Extraction of expansion trees	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	N/A	Paper
Herbrand's Theorem in Refutation Schemata	N/A	Paper

This page was built for person: Anela Lolic