Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra

Sponsored by the Ministry of Education of the People's Republic of China
Directed by Shanghai Jiao Tong University
ISSN 1007-1172 CN 31-1943/U

XU Wei-tao 1,3 (许伟涛), XU Yang 1,2(徐扬)

Journal of shanghai Jiaotong University (Science) . 2012, (2): 178 -181 . DOI: 10.1007/s12204-012-1249-1