Normalization and excluded middle. I

Studia Logica 48 (2):193 - 217 (1989)
  Copy   BIBTEX

Abstract

The usual rule used to obtain natural deduction formulations of classical logic from intuitionistic logic, namely.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

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
2009-01-28

Downloads
48 (#324,723)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?