A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions

Journal of Symbolic Logic 27 (4):468-468 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964554

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
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, Akiko Kino, On Predicates with Constructive Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 , pp. 176–190. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Review: Gaisi Takeuti, On a Generalized Logic Calculus. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):351-352.
Remarks on Predicate Logic with Infinitely Long Expressions.A. Tarski - 1965 - Journal of Symbolic Logic 30 (1):94-95.
Review: Gaisi Takeuti, On the Formal Theory of the Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
Independence proofs in predicate logic with infinitely long expressions.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):171-188.
The Sentential Calculus with Infinitely Long Expressions.Dana Scott & Alfred Tarski - 1965 - Journal of Symbolic Logic 30 (1):95-95.
Review: A. Tarski, Remarks on Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.

Analytics

Added to PP
2015-02-05

Downloads
12 (#317,170)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bemerkungen zu einem lemma Von E. Engeler und A. Robinson.Walter Felscher - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):15-16.

Add more citations

References found in this work

No references found.

Add more references