On the independence of premiss axiom and rule
暂无分享,去创建一个
[1] A. S. Troelstra,et al. Chapter VI – Realizability , 1998 .
[2] Hajime Ishihara,et al. A note on the independence of premiss rule , 2016, Math. Log. Q..
[3] A. Troelstra,et al. Constructivism in Mathematics: An Introduction , 1988 .
[4] Takako Nemoto. Finite sets and infinite sets in weak intuitionistic arithmetic , 2020, Arch. Math. Log..
[5] Ulrich Kohlenbach,et al. Applied Proof Theory - Proof Interpretations and their Use in Mathematics , 2008, Springer Monographs in Mathematics.
[6] Yohji Akama,et al. An arithmetical hierarchy of the law of excluded middle and related principles , 2004, LICS 2004.
[7] A. Troelstra. Constructivism in mathematics , 1988 .
[8] S. Kleene,et al. The Foundations of Intuitionistic Mathematics , 1965, The Mathematical Gazette.
[9] S. C. Kleene,et al. Formalized Recursive Functionals and Formalized Realizability , 1969 .
[10] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .