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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF02770512
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.

View all 8 references / Add more references

Citations of this work BETA

View all 6 citations / Add more citations

Similar books and articles

Completeness of Quantum Logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Epistemic Truth and Excluded Middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.
The Principle of Excluded Middle in Quantum Logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.
Conditional Excluded Middle Without the Limit Assumption.Eric Swanson - 2012 - Philosophy and Phenomenological Research 85 (2):301-321.
Excluded Middle.Hugh S. Chandler - 1967 - Journal of Philosophy 64 (24):807-814.

Analytics

Added to PP index
2009-01-28

Total views
38 ( #237,352 of 2,285,756 )

Recent downloads (6 months)
2 ( #573,699 of 2,285,756 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature