Algebraic Aspects of Cut Elimination

• 1 July 2004
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 77  (2) , 209-240
• https://doi.org/10.1023/b:stud.0000037127.15182.2a

Abstract

Keywords

• STRUCTURES
• CUT
• ALGEBRAIC
• FINITE
• QUASI
• MODEL
• OKADA
• MATHEMATICAL
• GIVE
• THEOREM