A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
type: Item
instance of: scholarly article
title: A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
zbMATH Open document ID: 0473.03008
DOI: 10.1007/BF00248734
author: Kosta Došen
published in: Journal of Philosophical Logic
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3741341
MaRDI profile type: Publication
cites work: Q4085699
cites work: Q5547552
cites work: Conservative extension in relevant implication
cites work: Q3228599
description: scientific article; zbMATH DE number 3741341