Another Intuitionistic Completeness Proof

Journal of Symbolic Logic 41 (3):644 - 662 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272042

Links

PhilArchive



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

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

Another intuitionistic completeness proof.H. De Swart - 1976 - Journal of Symbolic Logic 41 (3):644-662.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
A free IPC is a natural logic: Strong completeness for some intuitionistic free logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
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.
Proof theory and intuitionistic systems.Bruno Scarpellini - 1971 - New York,: Springer Verlag.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown

Analytics

Added to PP
2011-05-29

Downloads
9 (#1,248,825)

6 months
2 (#1,186,462)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harrie De De Swart
Erasmus University Rotterdam

Citations of this work

Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.
Creative subject, Beth models and neighbourhood functions.Victor N. Krivtsov - 1996 - Archive for Mathematical Logic 35 (2):89-102.

Add more citations

References found in this work

No references found.

Add more references