Title: Duo zhi luo ji bo yi yu yi yan jiu
Subjects: Many-valued logic, Semantics