The completeness of intuitionistic propositional calculus for its intended interpretation

Notre Dame Journal of Formal Logic 22 (1):17-28 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883336

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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 species-algebraic interpretation of the intuitionistic propositional calculus.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (2):222-232.
Completeness of the generalized propositional calculus.Alexander Abian - 1970 - Notre Dame Journal of Formal Logic 11 (4):449-452.
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.Diderik Batens - 1980 - Notre Dame Journal of Formal Logic 21 (3):509-517.
Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. [REVIEW]Stewart Shapiro - 1998 - Notre Dame Journal of Formal Logic 39 (4):600-612.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
On the propositional calculus A of Vuckovic and its extension. II.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5:223.
On the intuitionistic equivalential calculus.Robert E. Tax - 1973 - Notre Dame Journal of Formal Logic 14 (4):448-456.
Infinitary propositional intuitionistic logic.Craig Kalicki - 1980 - Notre Dame Journal of Formal Logic 21 (2):216-228.
Nonstandard connectives of intuitionistic propositional logic.Michael Kaminski - 1988 - Notre Dame Journal of Formal Logic 29 (3):309-331.

Analytics

Added to PP
2010-08-24

Downloads
39 (#397,178)

6 months
10 (#384,490)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
Notes on conditional logic.Krister Segerberg - 1989 - Studia Logica 48 (2):157 - 168.
Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.

Add more citations

References found in this work

No references found.

Add more references