Bulletin of Symbolic Logic 2 (2):127-158 (1996)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/421107
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,481
Through your library

References found in this work BETA

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Erkenntnis 2 (1):73-75.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Godel's Proof.S. R. Peterson - 1961 - Philosophical Quarterly 11 (45):379.
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.

View all 9 references / Add more references

Citations of this work BETA

Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.

View all 16 citations / Add more citations

Similar books and articles

Henkin Style Completeness Proofs in Theories Lacking Negation.John L. Pollock - 1971 - Notre Dame Journal of Formal Logic 12 (4):509-511.
Three Logical Theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
The Logic of Proofs, Semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.

Analytics

Added to PP index
2009-01-28

Total views
75 ( #141,816 of 2,446,240 )

Recent downloads (6 months)
1 ( #456,899 of 2,446,240 )

How can I increase my downloads?

Downloads

My notes