Title: Duo zhi luo ji han shu jie gou li lun yan jiu
Subjects: Many-valued logic