Author:
Arai Toshiyasu,Mints Grigori
Subject
General Computer Science,Theoretical Computer Science
Reference6 articles.
1. A normal form for arithmetical derivations implying the ω-consistency of arithmetic;Ikeda;Tsukuba J. Math.
2. Mathematical Logic;Kleene,1967
3. Reflection principles and their use for establishing the complexity of axiomatic systems;Kreisel;Z. Math. Logik Grundlagen Math.,1968
4. A normal form for logical derivations implying one for arithmetic derivations;Mints;Ann. Pure Appl. Logic,1993
5. C. Smorynski, The incompleteness theorems, in: J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 819–865.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Calculi for Classical Logic;Ordinal Analysis with an Introduction to Proof Theory;2020
2. Cut-eliminability in Second Order Logic Calculus;Annals of the Japan Association for Philosophy of Science;2018