Some Remarks on Infinitely Long Formulas

&
Journal of Symbolic Logic 30 (1):96-97 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270594

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
Review: H. Jerome Keisler, J. W. Addison, Leon Henkin, Alfred Tarski, Finite Approximations of Infinitely Long Formulas; H. Jerome Keisler, Some Applications of Infinitely Long Formulas. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Generalized algebras of Post and their applications to infinitely many-valued logics with infinitely long formulas.Nguen Cat-ho - 1972 - Bulletin of the Section of Logic 1 (1):4-12.
Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
Scott D. and Tarski A.. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 , pp. 165–170.Scott Dana and Tarski Alfred. The sentential calculus with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 83–89. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.
Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
Remarks on Predicate Logic with Infinitely Long Expressions.A. Tarski - 1965 - Journal of Symbolic Logic 30 (1):94-95.
Review: A. Tarski, Remarks on Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.
Independence proofs in predicate logic with infinitely long expressions.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):171-188.
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
Remarks on Floyd-Hoare derivability.Laszlo Csirmaz - 1980 - Bulletin of the Section of Logic 9 (3):131-133.
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
Frame Based Formulas for Intermediate Logics.Nick Bezhanishvili - 2008 - Studia Logica 90 (2):139-159.
Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{alpha beta}$. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.

Analytics

Added to PP
2017-02-21

Downloads
48 (#323,919)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Content of Deduction.Mark Jago - 2013 - Journal of Philosophical Logic 42 (2):317-334.
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.

View all 35 citations / Add more citations

References found in this work

No references found.

Add more references