Henkin style completeness proofs in theories lacking negation
Notre Dame Journal of Formal Logic 12 (4):509-511 (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRobert Goldblatt (1984). An Abstract Setting for Henkin Proofs. Topoi 3 (1):37-41.
Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (forthcoming). Completeness in Hybrid Type Theory. Journal of Philosophical Logic:1-30.
Leon Henkin (1996). The Discovery of My Completeness Proofs. Bulletin of Symbolic Logic 2 (2):127-158.
George F. Schumm (1975). A Henkin-Style Completeness Proof for the Pure Implicational Calculus. Notre Dame Journal of Formal Logic 16 (3):402-404.
Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51 - 55.
Kenneth Harris & Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51-55.
John Corcoran (1969). Three Logical Theories. Philosophy of Science 36 (2):153-177.
D. M. Gabbay & G. Malod (2002). Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11 (1):29-65.
Yuichi Komori (1986). A New Semantics for Intuitionistic Predicate Logic. Studia Logica 45 (1):9 - 17.
Wojciech Buszkowski (1989). Presuppositional Completeness. Studia Logica 48 (1):23 - 34.
Robert M. Solovay (1985). Explicit Henkin Sentences. Journal of Symbolic Logic 50 (1):91-93.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
Leon Henkin (1957). A Generalization of the Concept of Ω-Completeness. Journal of Symbolic Logic 22 (1):1-14.
Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
M. J. Cresswell (1967). A Henkin Completeness for $T$. Notre Dame Journal of Formal Logic 8 (3):186-190.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,830 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
