Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierarchy of the law of excluded middle and related principles. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 192–201. IEEE Computer Society (2004)
2. Ishihara, H., Nemoto, T.: A notes on the independence of premiss rule. Math. Log. Quart. 62(1–2), 72–76 (2016)
3. Kleene, S.C., Vesley, R.E.: The Foundations of Intuitionistic Mathematics. North-Holland, Amsterdam (1965)
4. Kleene, S.C.: Formalized recursive functionals and formalized realizability. Mem. Am. Math. Soc. (89) (1969)
5. Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer, Berlin (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献