Henkin's completeness proof: forty years later

, , &
Notre Dame Journal of Formal Logic 32 (2):212-232 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635746

Links

PhilArchive



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

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

A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
A Henkin-style completeness proof for the pure implicational calculus.George F. Schumm - 1975 - Notre Dame Journal of Formal Logic 16 (3):402-404.
Explicit Henkin sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.
Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.
A completeness proof for a logic with an alternative necessity operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.
A generalization of the concept of ω-completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.

Analytics

Added to PP
2010-08-24

Downloads
38 (#419,718)

6 months
12 (#213,710)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Thau
University of Illinois at Springfield

Citations of this work

The ω-rule.Michael Thau - 1992 - Studia Logica 51 (2):241 - 248.

Add more citations

References found in this work

No references found.

Add more references