The Modalized Many-Valued Logic
Chen Bo, Kang Zhao, Ma Changhui, Zhang Bing, Cheng Wu, Suiyuefei · 2018
The intermediate logic is a three-valued logic proposed by Zhu. A modalized many-valued logic will be proposed in this paper which the unary connective @iis taken as a modality and a Gentzen-typed deduction system will be given so that the the system is sound and complete with the linearly many-valued semantics of the many-valued logic.