- 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
The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems
Studia Logica 42 (2-3):165 - 171 (1983)
Abstract
The aim of this paper is to present a modified version of the notion of strong proof from hypotheses (definition D2), and to give three deduction theorems for the relevant logicsR (theoremsT1, andT2) andE (theoremT3).Other Versions
No versions found
My notes
Similar books and articles
Correspondence results for relational proof systems with application to the Lambek calculus.Wendy MacCaull & Ewa Orłlowska - 2002 - Studia Logica 71 (3):389-414.
Strong normalization proof with CPS-translation for second order classical natural deduction.Koji Nakazawa & Makoto Tatsuta - 2003 - Journal of Symbolic Logic 68 (3):851-859.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”.Koji Nakazawa & Makoto Tatsuta - 2003 - Journal of Symbolic Logic 68 (4):1415-1416.
The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance.Urszula Wybraniec-Skardowska - 2024 - History and Philosophy of Logic 45 (2):124-141.
Unified Natural Deduction for Logics of Strong Negation.Norihiro Kamide & Sara Negri - 2025 - Notre Dame Journal of Formal Logic 66 (4):543-580.
A Rejection System for the First-Degree Formulae of some Relevant Logics.Ross T. Brady - 2008 - Australasian Journal of Logic 6:55-69.
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - 2019 - Logic and Logical Philosophy 28 (2):223-257.
A semantical proof of the strong normalization theorem for full propositional classical natural deduction.Karim Nour & Khelifa Saber - 2006 - Archive for Mathematical Logic 45 (3):357-364.
Analytics
Added to PP
2009-01-28
Downloads
89 (#610,590)
6 months
27 (#362,663)
2009-01-28
Downloads
89 (#610,590)
6 months
27 (#362,663)
Historical graph of downloads
References found in this work
Yonemitsu Naoto. A note on modal systems. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 6, pp. 9–10.Alan Ross Anderson - 1958 - Journal of Symbolic Logic 23 (1):64-64.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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