scientific article; zbMATH DE number 733386

zbMath0835.03023MaRDI QIDQ4325774

Grigori Mints

Publication date: 22 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

normal formcut-eliminationfirst-order arithmeticsubstitution methodGentzen-type infinitary sequent calculusHilbert's epsilon-calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Related Items (8)

Completeness of a first-order temporal logic with time-gaps ⋮ Epsilon substitution method for elementary analysis ⋮ Epsilon substitution for \(ID_1\) via cut-elimination ⋮ A termination proof for epsilon substitution using partial derivations ⋮ Cut elimination for a simple formulation of epsilon calculus ⋮ Epsilon substitution for transfinite induction ⋮ Ackermann's substitution method (remixed) ⋮ A method of epsilon substitution for the predicate logic with equality

This page was built for publication: