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..

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957658

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,211

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

On strengthening intuitionistic logic.Richard E. Vesley - 1963 - Notre Dame Journal of Formal Logic 4 (1):80-80.
Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
PA( aa ).James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):560-569.
Arity and alternation in second-order logic.J. A. Makowsky & Y. B. Pnueli - 1994 - Annals of Pure and Applied Logic 78 (1-3):189-202.
Formulas of L(aa) Where aa is not in The Scope of “¬”.Andreas Baudisch - 1981 - Mathematical Logic Quarterly 27 (16‐17):249-254.
Intuitionistic logic and elementary rules.Ian Humberstone & David Makinson - 2011 - Mind 120:1035-1051.
The necessity of modal logic S5 is metalogical.Zdzislaw Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
Search for the Higgs boson produced in association with a W boson and decaying to four b-quarks via two spin-zero particles in pp collisions at 13 TeV with the ATLAS detector.M. Aaboud, G. Aad, B. Abbott, J. Abdallah, O. Abdinov, B. Abeloos, R. Aben, O. S. AbouZeid, N. L. Abraham, H. Abramowicz, H. Abreu, R. Abreu, Y. Abulaiti, B. S. Acharya, L. Adamczyk, D. L. Adams, J. Adelman, S. Adomeit, T. Adye, A. A. Affolder, T. Agatonovic-Jovin, J. Agricola, J. A. Aguilar-Saavedra, S. P. Ahlen, F. Ahmadov, G. Aielli, H. Akerstedt, T. P. A. Åkesson, A. V. Akimov, G. L. Alberghi, J. Albert, S. Albrand, M. J. A. Verzini, M. Aleksa, I. N. Aleksandrov, C. Alexa, G. Alexander, T. Alexopoulos, M. Alhroob, B. Ali, M. Aliev, G. Alimonti, J. Alison, S. P. Alkire, B. M. M. Allbrooke, B. W. Allen, P. P. Allport, A. Aloisio, A. Alonso, F. Alonso, C. Alpigiani, M. Alstaty, B. A. Gonzalez, Piqueras DÁ, M. G. Alviggi, B. T. Amadio, K. Amako, Y. A. Coutinho, C. Amelung, D. Amidei, Santos Spad, A. Amorim, S. Amoroso, G. Amundsen, C. Anastopoulos, L. S. Ancu, N. Andari, T. Andeen, C. F. Anders, G. Anders, J. K. Anders, K. J. Anderson, A. Andreazza, V. Andrei, S. Angelidakis, I. Angelozzi, P. Anger, A. Angerami, F. Anghinolfi, A. V. Anisenkov, N. Anjos & A. Annovi - unknown
Contributions to Logic and Methodology in Honor of J. M. Bochenski. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):607-607.

Analytics

Added to PP
2010-08-24

Downloads
62 (#376,329)

6 months
4 (#1,001,261)

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