AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
Mirjana Borisavljević · The Review of Symbolic Logic · 2018
Abstract The connection between the rules and derivations of Gentzen’s calculiNJandLJwill be explained by several steps (i.e., systems), and an analysis of the well-known problems of the connection between reduction steps of normalization and cut elimination, from Zucker (1974) and Urban (2014), will be given.