Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. Arai, T. (2010). Intuitionistic fixed point theories over Heyting arithmetic. In S. Feferman & W. Sieg (Eds.), Proofs, Categories and Computations: Essays in Honor of Grigori Mints (pp. 1–14). London: College Publications.
2. Borwein, J. M. (1998). Brouwer–Heyting sequences converge. Mathematical Intelligencer, 20(1), 14–15.
3. Rumfitt, I. (2015). The boundary stones of thought: An essay in the philosophy of logic. Oxford: Oxford University Press.
4. Sambin, G. (1995). Pretopologies and completeness proofs. Journal of Symbolic Logic, 60(3), 861–878.
https://doi.org/10.2307/2275761
.
5. Weatherson, B. (2004). True, truer, truest. Philosophical Studies, 123(1–2), 47–70.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献