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).
Similar content being viewed by others
References
A.R. Anderson, N.D. Belnap,A modification of Ackermann's “rigorous implication”,The Journal of Symbolic Logic 23 (1958), pp. 457–458.
E. A. Sidorenko,On the strong proof from hypotheses,Abstracts of 6th International Congress of Logic, Methodology of Science (Sections 5,7), Hannover 1979.
M.R.Diaz,Topics in the Logic of Relevance, München 1981.
E. A. Sidorenko,Logičeskoe sledowanije i uslownyje wyskazywanija (in Russian), Moskva 1983.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sidorenko, E.A. The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems. Stud Logica 42, 165–171 (1983). https://doi.org/10.1007/BF01063836
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01063836