Article contents
AN ANALYSIS OF THE RULES OF GENTZEN’S NJ AND LJ
Published online by Cambridge University Press: 08 June 2018
Abstract
The connection between the rules and derivations of Gentzen’s calculi NJ and LJ will 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2018
References
BIBLIOGRAPHY
- 3
- Cited by