- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Normalization and excluded middle. I
Studia Logica 48 (2):193 - 217 (1989)
Abstract
The usual rule used to obtain natural deduction formulations of classical logic from intuitionistic logic, namely.Other Versions
No versions found
My notes
Similar books and articles
Postponement of $$mathsf {}$$ and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
Postponement of Reduction ad Absurdum and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa & Wagner Sanz - 2010 - Studia Logica 96 (1):95-108.
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
A Binary-conclusion Natural Deduction System.K. Fujita - 1999 - Logic Journal of the IGPL 7 (4):517-545.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Analytics
Added to PP
2009-01-28
Downloads
56 (#386,330)
6 months
6 (#873,397)
2009-01-28
Downloads
56 (#386,330)
6 months
6 (#873,397)
Historical graph of downloads
Citations of this work
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Postponement of $$mathsf {}$$ and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
References found in this work
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lxkd2 dc2