A note on the independence of premiss rule
暂无分享,去创建一个
[1] Hajime Ishihara. Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi , 2012 .
[2] Ulrich Kohlenbach,et al. Applied Proof Theory - Proof Interpretations and their Use in Mathematics , 2008, Springer Monographs in Mathematics.
[3] A. Troelstra,et al. Constructivism in Mathematics: An Introduction , 1988 .
[4] C. McCarty. CONSTRUCTIVISM IN MATHEMATICS , 2009 .
[5] Hajime Ishihara,et al. Some principles weaker than Markov’s principle , 2015, Arch. Math. Log..
[6] Daniel Leivant,et al. Syntactic translations and provably recursive functions , 1985, Journal of Symbolic Logic.
[7] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[8] H. Ishihara. A Note on theGödel-Gentzen Translation , 2000 .
[9] Hajime Ishihara. A Note on the Gödel-Gentzen Translation , 2000, Math. Log. Q..