Two types of universal proof systems for all variants of many-valued logics and some properties of them
Crossref DOI link: https://doi.org/10.1007/s42044-018-0015-4
Published Online: 2018-03-16
Published Print: 2019-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chubaryan, Anahit
Khamisyan, Artur
Text and Data Mining valid from 2018-03-16
Article History
Received: 17 December 2017
Accepted: 3 March 2018
First Online: 16 March 2018