Abstract
In this chapter we discuss straightforward extensions of results in Chap. 4, which are obtained by iterating cut-elimination procedures for first-order arithmetic.
Cite
CITATION STYLE
APA
Arai, T. (2020). Iterations. In Logic in Asia: Studia Logica Library (pp. 175–218). Springer Nature. https://doi.org/10.1007/978-981-15-6459-8_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free