Dan Meng, Xiaoping Qiu. Resolution principle based on finite chain lattice-valued proposition logic FCLP(X). In The 12th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2003, St. Louis, Missouri, USA, 25-28 May 2003. pages 61-66, IEEE, 2003. [doi]
Abstract is missing.