On not strengthening intuitionistic logic

Notre Dame Journal of Formal Logic 4 (4):313-320 (1963)
  Copy   BIBTEX

Abstract

tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending the intelim rules for either one of..

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.

Analytics

Added to PP
2010-08-24

Downloads
41 (#337,985)

6 months
3 (#439,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

Hereditarily structurally complete positive logics.Alex Citkin - 2020 - Review of Symbolic Logic 13 (3):483-502.
Admissibility in Positive Logics.Alex Citkin - 2017 - Logica Universalis 11 (4):421-437.

Add more citations

References found in this work

No references found.

Add more references