3-valued first-order logic

Wei Li 0022, Yuefei Sui. 3-valued first-order logic. Frontiers of Computer Science in China, 15(5):155403, 2021. [doi]

Abstract

Abstract is missing.