A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
- 1 November 1981
- journal article
- research article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 10 (4) , 399-408
- https://doi.org/10.1007/bf00248734
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Conservative extension in relevant implicationStudia Logica, 1973
- An interpretation and separation theorems for the logical systemsE andRAlgebra and Logic, 1971