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

DC Field	Value	Language
dc.contributor.author	Došen, Kosta	en
dc.date.accessioned	2020-04-27T10:33:34Z	-
dc.date.available	2020-04-27T10:33:34Z	-
dc.date.issued	1981-11-01	en
dc.identifier.issn	0022-3611	en
dc.identifier.uri	http://researchrepository.mi.sanu.ac.rs/handle/123456789/731	-
dc.publisher	Springer Link	-
dc.relation.ispartof	Journal of Philosophical Logic	en
dc.title	A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic	en
dc.type	Article	en
dc.identifier.doi	10.1007/BF00248734	en
dc.identifier.scopus	2-s2.0-34250237751	en
dc.contributor.affiliation	Mathematical Institute of the Serbian Academy of Sciences and Arts	-
dc.relation.firstpage	399	en
dc.relation.lastpage	408	en
dc.relation.issue	4	en
dc.relation.volume	10	en
item.openairetype	Article	-
item.fulltext	No Fulltext	-
item.grantfulltext	none	-
item.openairecristype	http://purl.org/coar/resource_type/c_18cf	-
item.cerifentitytype	Publications	-

4

checked on Jan 11, 2026

59

checked on Jan 11, 2026

Check