Author:
Aschieri Federico,Berardi Stefano
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Avigad, J.: Update Procedures and the 1-Consistency of Arithmetic. Math. Log. Q. 48(1), 3–13 (2002)
2. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. In: LICS 2004, pp. 192–201 (2004)
3. Aschieri, F., Berardi, S.: An Interactive Realizability... (Full Paper), Tech. Rep., Un. of Turin (2009),
http://www.di.unito.it/~stefano/Realizers2009.pdf
4. Berardi, S.: Classical Logic as Limit .... MSCS 15(1), 167–200 (2005)
5. Berardi, S.: Some intuitionistic equivalents of classical principles for degree 2 formulas. Annals of Pure and Applied Logic 139(1-3), 185–200 (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献