Author:
Berardi Stefano,Tatsuta Makoto
Publisher
Springer Berlin Heidelberg
Reference12 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 Nineteenth Annual IEEE Symposium on Logic in Computer Science, pp. 192–201 (2004)
2. Berardi, S., Coquand, T., Hayashi, S.: Games with 1-backtracking. In: Proceedings of Games for Logic and Programming Languages (2005, also submitted to APAL)
3. Berardi, S.: Some intuitionistic equivalents of classical principles for degree 2 formulas. Annals of Pure and Applied Logic 139, 185–200 (2006)
4. Berardi, S., Yamagata, Y.: A sequent calculus for Limit Computable Mathematics. Annals of Pure and Applied Logic (to appear)
5. Berardi, S.: Semantics for Intuitionistic Arithmetic based on Tarski Games with retractable moves. In: Proceedings of TLCA, LNCS, vol. 4583 (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献