The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬

Wei Li 0022, Yuefei Sui. The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬. Frontiers of Computer Science in China, 11(5):887-894, 2017. [doi]

Abstract

Abstract is missing.