| Publication | Date of Publication | Type |
|---|
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 |
Efficient interpolation beyond cut-free proofs
Theoretical Computer Science | 2026-09-29 | Paper |
| 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 |
| Herbrand's theorem in inductive proofs | 2025-02-19 | Paper |
| On translations of epsilon proofs to LK | 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 |
