Background
摘要
Multi-valued logic, which is the logic with more than two truth values, was suggested in 1920s by Łukasiewicz and Post and then was further developed by Łukasiewicz and Tarski, Gödel, Birkhoff and von Neumann and in the successive studies.