A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic

Kosta Dosen. A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. J. Philosophical Logic, 10(4):399-408, 1981. [doi]

Abstract

Abstract is missing.