Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. Borisavljević M., Dosen K., Petrić Z.: On permuting cut with contraction. Math. Struct. Comput. Sci. 10(2), 99–136 (2000)
2. Buss S.: Handbook Proof Theory. Elsevier, Amsterdam (1998)
3. Gentzen G.: The Collected Papers of Gerhard Gentzen. North-Holland, Amsterdam (1969)
4. Howard, W.A.: Assignment of ordinals to terms for primitive recursive functionals of finite type. In: Myhill, J., Kino, A., Vesley, R. (eds.) Intuitionism and Proof Theory. North-Holland, Amsterdam (1970)
5. Kanckos A.: Consistency of Heyting arithmetic in natural deduction. Math. Log. Q. 56(6), 611–624 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献