Novikov's cut elimination

Luca Bellotti

Abstract


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.


Refbacks

  • There are currently no refbacks.