A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
From MaRDI portal
Publication:1158407
DOI10.1007/BF00248734zbMath0473.03008MaRDI QIDQ1158407
Publication date: 1981
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS ⋮ A plea for KR ⋮ Modal translations in substructural logics ⋮ Thermodynamic functions of electron gas on the semiconductor nanotube surface in a magnetic field
Cites Work
This page was built for publication: A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic