Dan Meng, Yang Xu. alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional Logic. In H. John Caulfield, Shu-Heng Chen, Heng-Da Cheng, Richard J. Duro, Vasant Honavar, Etienne E. Kerre, Mi Lu, Manuel Grana Romay, Timothy K. Shih, Dan Ventura, Paul P. Wang, Yuanyuan Yang, editors, Proceedings of the 6th Joint Conference on Information Science, March 8-13, 2002, Research Triangle Park, North Carolina, USA. pages 89-91, JCIS / Association for Intelligent Machinery, Inc., 2002.
Abstract is missing.