SCOPUS 정보 검색 플랫폼

Volumn 46, Issue 1, 2000, Pages 135-137

A note on the Gödel-Gentzen translation

a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY (Japan)

Author keywords

Conservative extension results; G del Gentzen negative translation; Intuitionistic logic; Minimal logic; Natural deduction

Indexed keywords

EID: 0034344074 PISSN: 09425616 EISSN: None Source Type: Journal
DOI: 10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R Document Type: Article

Times cited : (22)

References (11)

1
- 0003966693
- Springer-Verlag, Berlin-Heidelberg-New York
- VAN DALEN, D., Logic and Structures. 3rd ed. Springer-Verlag, Berlin-Heidelberg-New York 1994.
- (1994) Logic and Structures. 3rd Ed.
- Van Dalen, D.¹

2
- 38249043569
- Epistemic and intuitionistic formal systems
- FLAGG, R. C., and H. FRIEDMAN, Epistemic and intuitionistic formal systems. Ann. Pure Appl. Logic 32 (1986), 53-60.
- (1986) Ann. Pure Appl. Logic , vol.32 , pp. 53-60
- Flagg, R.C.¹ Friedman, H.²

3
- 0002348405
- Über das Verhältnis zwischen intuitionistischer und klassischer Logik
- GENTZEN, G., Über das Verhältnis zwischen intuitionistischer und klassischer Logik. Arch. Math. Logic 16 (1974), 119-132.
- (1974) Arch. Math. Logic , vol.16 , pp. 119-132
- Gentzen, G.¹

4
- 0001794165
- Zur intuitionistischen Arithmetik und Zahlentheorie
- GÖDEL, K., Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums 4 (1933), 34-38. Also, with translation, in K. GÖDEL, Collected Works, Volume II, Oxford University Press, Oxford 1990.
- (1933) Ergebnisse Eines Mathematischen Kolloquiums , vol.4 , pp. 34-38
- Gödel, K.¹

5
- 0003913615
- Also, with translation, in Oxford University Press, Oxford
- GÖDEL, K., Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums 4 (1933), 34-38. Also, with translation, in K. GÖDEL, Collected Works, Volume II, Oxford University Press, Oxford 1990.
- (1990) Collected Works , vol.2
- Gödel, K.¹

6
- 0002322926
- On the principle of the excluded middle
- in Russian
- KOLMOGOROV, A. N., On the principle of the excluded middle. Mat. Sbornik 32 (1925), 646-667 (in Russian). English translation in: J. VAN HEIJENOORT (ed.) From Frege to Gödel: A source-book in mathematical logic, 1879-1931. Harvard University Press, Cambridge Mass. 1967, pp. 414-437.
- (1925) Mat. Sbornik , vol.32 , pp. 646-667
- Kolmogorov, A.N.¹

7
- 0003691342
- English translation in: Harvard University Press, Cambridge Mass.
- KOLMOGOROV, A. N., On the principle of the excluded middle. Mat. Sbornik 32 (1925), 646-667 (in Russian). English translation in: J. VAN HEIJENOORT (ed.) From Frege to Gödel: A source-book in mathematical logic, 1879-1931. Harvard University Press, Cambridge Mass. 1967, pp. 414-437.
- (1967) From Frege to Gödel: A Source-book in Mathematical Logic, 1879-1931 , pp. 414-437
- Van Heijenoort, J.¹

8
- 84972537469
- Intuitionistische untersuchungen der formalistischen logik
- KURODA, S., Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. J. 2 (1951), 35-47.
- (1951) Nagoya Math. J. , vol.2 , pp. 35-47
- Kuroda, S.¹

9
- 0000275420
- Syntactic translations and provably recursive functions
- LEIVANT, D., Syntactic translations and provably recursive functions. J. Symbolic Logic 50 (1985), 682-688.
- (1985) J. Symbolic Logic , vol.50 , pp. 682-688
- Leivant, D.¹

10
- 0003780676
- Almquist and Wiksell, Stockholm
- PRAWITZ, D., Natural Deduction. A Proof-theoretical Study. Almquist and Wiksell, Stockholm 1965.
- (1965) Natural Deduction. A Proof-theoretical Study
- Prawitz, D.¹

11
- 0002162026
- North-Holland Publ. Comp., Amsterdam
- TROELSTRA, A. S., and D. VAN DALEN, Constructivism in Mathematics. Volume 1. North-Holland Publ. Comp., Amsterdam 1988.
- (1988) Constructivism in Mathematics , vol.1
- Troelstra, A.S.¹ Van Dalen, D.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.