On a Generalized Logic Calculus

Journal of Symbolic Logic 22 (4):351-352 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963912

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,589

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Takeuti Gaisi. On a generalized logic calculus. Japanese journal of mathematics, Bd. 23 , S. 39–96. Errata, ebd., Bd. 24 , S. 149–156. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
Maehara Shôji and Takeuti Gaisi. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 , pp. 357–370. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
Takeuti Gaisi. Axioms of infinity of set theory. Journal of the Mathematical Society of Japan, vol. 13 , pp. 220–233.J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 367–378. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):293-294.
Takeuti Gaisi. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 65–97.Takeuti Gaisi. A formalization of the theory of ordinal numbers. [REVIEW]Carol Karp - 1972 - Journal of Symbolic Logic 37 (1):192-193.
Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 , pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
Gaisi Takeuti. Incompleteness theorems and versus. Logic Colloquium '96, Proceedings of the colloquium held in San Sebastián, Spain, July 9–15, 1996, edited by J. M. Larrazabal, D. Lascar, and G. Mints, Lecture notes in logic, no. 12, Springer, Berlin, Heidelberg, New York, etc., 1998, pp. 247–261. - Gaisi Takeuti. Gödel sentences of bounded arithmetic. The journal of symbolic logic, vol. 65 , pp. 1338–1346. [REVIEW]Arnold Beckmann - 2002 - Bulletin of Symbolic Logic 8 (3):433-435.
Takeuti Gaisi. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 , pp. 386–394.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.

Analytics

Added to PP
2015-02-05

Downloads
19 (#1,103,810)

6 months
4 (#1,083,769)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
Takeuti's proof theory in the context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.
Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references