Completeness of Subtrilattice Logic

Norihiro Kamide. Completeness of Subtrilattice Logic. In 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. pages 279-284, IEEE, 2020. [doi]

Abstract

Abstract is missing.