Resolution based on six lattice-valued proposition logic LP

Dan Meng, Xuefang Wang, Yang Xu, Keyun Qin

Browse the full SMC paper archive.