Xiaodong Pan, Yang Xu, Luis MartÃnez, Da Ruan, Jun Liu. On Compactness and Consistency in Finite Lattice-Valued Propositional Logic. In Emilio Corchado, Manuel Grana Romay, Alexandre Savio, editors, Hybrid Artificial Intelligence Systems, 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II. Volume 6077 of Lecture Notes in Computer Science, pages 328-334, Springer, 2010. [doi]
Abstract is missing.