Resolution based on six lattice-valued proposition logic LP/sub 6/(X) | IEEE Conference Publication | IEEE Xplore