- 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.My notes
Similar books and articles
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
The principle of excluded middle in quantum logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.
A short proof of the strong normalization of classical natural deduction with disjunction.René David & Karim Nour - 2003 - Journal of Symbolic Logic 68 (4):1277-1288.
Intuitionistic modal logics incompatible with the law of the excluded middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
The Semantic Paradoxes and the Paradoxes of Vagueness.Hartry Field - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Clarendon Press. pp. 262-311.
Does the law of excluded middle require bivalence?Charles Sayward - 1989 - Erkenntnis 31 (1):129 - 137.
Conditional Excluded Middle without the Limit Assumption.Eric Swanson - 2012 - Philosophy and Phenomenological Research 85 (2):301-321.
Analytics
Added to PP
2009-01-28
Downloads
49 (#326,442)
6 months
2 (#1,206,802)
2009-01-28
Downloads
49 (#326,442)
6 months
2 (#1,206,802)
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 - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.
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.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
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-5ff6c685cb-rskd8 uwo