Two types of universal proof systems for all variants of many-valued logics and some properties of them
Chubaryan, Anahit, Khamisyan, ArturLanguage:
english
Journal:
Iran Journal of Computer Science
DOI:
10.1007/s42044-018-0015-4
Date:
March, 2018
File:
PDF, 440 KB
english, 2018