An Algebraic Characterization of Quantifiers

Journal of Symbolic Logic 16 (4):290-291 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267947

Links

PhilArchive



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

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: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
Henkin Leon. An algebraic characterization of quantifiers. Fundamenta mathematicae, Bd. 37 , S. 63–74.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
Review: Leon Henkin, Internal Semantics and Algebraic Logic. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):315-315.
Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Review: Leon Henkin, Are Logic and Mathematics Identical? [REVIEW]Alfons Borgers - 1964 - Journal of Symbolic Logic 29 (3):141-142.
Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
Review: Leon Henkin, Mathematical Induction. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (4):209-209.
Review: Leon Henkin, Mathematical Foundations for Mathematics. [REVIEW]Abraham Robinson - 1974 - Journal of Symbolic Logic 39 (2):333-333.
Henkin Leon. Fragments of propositional calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (3):197-198.

Analytics

Added to PP
2015-02-05

Downloads
28 (#138,667)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Compatible elements in implicative models.E. L. Marsden - 1972 - Journal of Philosophical Logic 1 (2):156 - 161.
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.

Add more citations

References found in this work

No references found.

Add more references