- 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
Propositions in Prepositional Logic Provable Only by Indirect Proofs
Mathematical Logic Quarterly 44 (1):69-91 (1998)
Abstract
In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in prepositional logic makes prepositional logic non-normalizable. From this follows that some provable propositions in prepositional logic has no direct proofMy notes
Similar books and articles
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Analytics
Added to PP
2014-01-16
Downloads
33 (#496,568)
6 months
6 (#575,766)
2014-01-16
Downloads
33 (#496,568)
6 months
6 (#575,766)
Historical graph of downloads
Citations of this work
Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.
How to Ekman a Crabbé-Tennant.Peter Schroeder-Heister & Luca Tranchini - 2018 - Synthese 199 (Suppl 3):617-639.
Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.
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.
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
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-747975fc64-fsjhg uwo