Resolution principle based on finite chain lattice-valued proposition logic FCLP(X) | IEEE Conference Publication | IEEE Xplore