Author:
Moschovakis Joan Rand,Vafeiadou Garyfallia
Publisher
Springer International Publishing
Reference23 articles.
1. Berardi, S., Bezem, M., Coquand, T.: On the computational content of the axiom of choice. J. Symb. Logic 63(2), 600–622 (1998)
2. Brouwer, L.E.J.: Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. In: Heyting, A. (ed.), L. E. J. Brouwer: Collected Works, vol. I, pp. 150–190. North-Holland/American Elsevier (1975)
3. Dyson, V., Kreisel, G.: Analysis of Beth’s semantic construction of intuitionistic logic. Technical report 3, Applied mathematics and statistics laboratory, Stanford University (1961)
4. Fujiwara, M.: Bar induction and restricted classical logic. In: Iemhoff, R., Moortgat, M., de Queiroz, R., (eds.) Logic, Language, Information and Computation: WoLLIC Proceedings, pp. 236–247 (2019)
5. Fujiwara, M., Kohlenbach, U.: Interrelation between weak fragments of double negation shift and related principles. J. Symb. Logic 81(3), 991–1012 (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classical consequences of constructive systems;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10