A formal system of first-order predicate calculus with infinitely long expressions

Shôji MAEHARA; Gaisi TAKEUTI

doi:10.2969/jmsj/01340357

Shôji MAEHARA, Gaisi TAKEUTI

著者情報

ジャーナルフリー

1961 年 13 巻 4 号 p. 357-370

DOI https://doi.org/10.2969/jmsj/01340357

詳細

Published: 1961 Received: 1961/04/03 Available on J-STAGE: 2006/08/29 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/08/29 訂正理由: - 訂正箇所: 著者情報訂正内容: Wrong : Shoji MAEHARA¹⁾, Gaisi TAKEUTI²⁾
Right : Shôji MAEHARA¹⁾, Gaisi TAKEUTI²⁾

訂正日: 2006/08/29 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) W. Craig, Linear reasoning. A new form of the Herbrand-Gentzen theorem, J. Symbolic Logic, 22 (1957), 250-268.
2) G. Gentzen, Untersuchungen über das logische Schliellen, Math. Z., 39 (1935), 176-210, 405-431.
3) K. Gödel, Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls, Monatsh. f. Math. Phys., 37 (1930), 349-360.
4) D. Hilbert and P. Bernays, Gundlangen der Mathematik, Bd. 2, Berlin, 1939.
5) C. Karp, Independence proofs in predicate logic with infinitely long expressions. Lecture in International Congress for Logic, Methodology and Philosophy of Science 1960, Stanford.
6) S.C. Kleene, Introduction to metamathematics, Amsterdam-Groningen, 1952.
7) S. Maehara, The predicate calculus with ε-symbol, J. Math. Soc. Japan, 7 (1955), 323-344.
8) K. Schütte, Ein System des verknüpfen den SchlieBens, Archiv f . math. Logik u. Grundlagenforschung 2 (1956), 55-67.
9) D. Scott and A. Tarski, The sentential calculus with infinitely long expressions, Colloq. Math., 6 (1958), 165-170.

Right : [1] W. Craig, Linear reasoning. A new form of the Herbrand-Gentzen theorem, J. Symbolic Logic, 22 (1957), 250-268.
[2] G. Gentzen, Untersuchungen über das logische Schließen, Math. Z., 39 (1935), 176-210, 405-431.
[3] K. Gödel, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatsh. f. Math. Phys., 37 (1930), 349-360.
[4] D. Hilbert and P. Bernays, Gundlangen der Mathematik, Bd. 2, Berlin, 1939.
[5] C. Karp, Independence proofs in predicate logic with infinitely long expressions. Lecture in International Congress for Logic, Methodology and Philosophy of Science 1960, Stanford.
[6] S. C. Kleene, Introduction to metamathematics, Amsterdam-Groningen, 1952.
[7] S. Maehara, The predicate calculus with ε-symbol, J. Math. Soc. Japan, 7 (1955), 323-344.
[8] K. Schütte, Ein System des verknüpfen den Schließens, Archiv f. math. Logik u. Grundlagenforschung 2 (1956), 55-67.
[9] D. Scott and A. Tarski, The sentential calculus with infinitely long expressions, Colloq. Math., 6 (1958), 165-170.

訂正日: 2006/08/29 訂正理由: - 訂正箇所: PDFファイル訂正内容: -

責任著者(Corresponding author)

訂正情報

J-STAGEへの登録はこちら（無料）