A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

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

Authors:	Kosta Došen

Affiliation:	(1) Mathematical Institute, Belgrade, Yugoslaria

Abstract:

Keywords:
本文献已被 SpringerLink 等数据库收录！