On the Completeness of Quantification Theory

Journal of Symbolic Logic 18 (4):339-339 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266583

Links

PhilArchive



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

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: Burton Dreben, On the Completeness of Quantification Theory. [REVIEW]Leon Henkin - 1953 - Journal of Symbolic Logic 18 (4):339-339.
Wittgenstein's Theory of Quantification.T. F. Baxley - 1980 - International Logic Review 21:46.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Non-traditional squares of predication and quantification.Mireille Staschok - 2008 - Logica Universalis 2 (1):77-85.
Completeness and interpolation of almost‐everywhere quantification over finitely additive measures.João Rasga, Wafik Boulos Lotfallah & Cristina Sernadas - 2013 - Mathematical Logic Quarterly 59 (4-5):286-302.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Quantification Theory in *8 of Principia Mathematica and the Empty Domain.Gregory Landini - 2005 - History and Philosophy of Logic 26 (1):47-59.
Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
What makes a theory physically “complete”?Andrew Elby, Harvey R. Brown & Sara Foster - 1993 - Foundations of Physics 23 (7):971-985.
Completeness and Quantification.A. Dumitriu - 1972 - International Logic Review 6:207.
The ineliminability of non-nominal quantification.David Dolby - unknown
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Semantics for mass terms with quantifiers.Peter Roeper - 1983 - Noûs 17 (2):251-265.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,434,892)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

Add more citations

References found in this work

No references found.

Add more references