A sequent-calculus based formulation of the extended first epsilon theorem

DOI10.1007/978-3-319-72056-2_4zbMath1503.03044OpenAlexW2768246366MaRDI QIDQ1709688

Alexander Leitsch, Anela Lolic, Matthias Baaz

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_4

zbMATH Keywords

epsilon calculusextended first epsilon theoremHerbrand disjunctions

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Herbrand complexity and the epsilon calculus with equality

This page was built for publication: A sequent-calculus based formulation of the extended first epsilon theorem