Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. Aczel, P.: The Russell–Prawitz modality. Math. Struct. Comput. Sci. 11(4), 541–554 (2001). (Modalities in type theory (Trento, 1999))
2. Avigad, J.: Forcing in proof theory. Bull. Symb. Log. 10(3), 305–333 (2004)
3. Beeson, M.J.: Foundations of Constructive Mathematics, Volume 6 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], Metamathematical studies. Springer, Berlin (1985)
4. Benton, P.N., Bierman, G.M., de Paiva, V.C.V.: Computational types from a logical perspective. J. Funct. Program. 8(2), 177–193 (1998)
5. Cohen, P.J.: Set Theory and the Continuum Hypothesis. W. A. Benjamin Inc, New York, Amsterdam (1966)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Kolmogorov and Kuroda Translations Into Basic Predicate Logic;Logic Journal of the IGPL;2022-09-05
2. A General Glivenko–Gödel Theorem for Nuclei;Electronic Proceedings in Theoretical Computer Science;2021-12-29