|previous article in this issue||next article in this issue|
Document Details :
Title: Novikov's Cut Elimination
Author(s): BELLOTTI, Luca
Journal: Logique et Analyse
Volume: 242 Date: 2018
This is an exposition of Novikov’s cut-elimination procedure for a Hilbert-style formulation of the first-order predicate calculus, which depends on a property of formulas introduced by him, called ‘regularity’. A comparison with other methods is outlined.