Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra
XU Wei-tao 1,3 (许伟涛), XU Yang 1,2(徐扬)
Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra
XU Wei-tao 1,3 (许伟涛), XU Yang 1,2(徐扬)
上海交通大学学报（英文版） . 2012, (2): 178 -181 .  DOI: 10.1007/s12204-012-1249-1