References
- J.A. Robinson, A machine-oriented logic based on the resolution principle, J. ACM, 12(1), 23–41 (1965). doi: 10.1145/321250.321253
- C.L. Chang, R.C.T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973).
- D.W. Loveland, Automated Theorem Proving: A logical Basis, North-Holland, Amsterdam (1978).
- X.H. Liu, Resolution-based Automated Reasoning, Academic Press of China, Beijing, China (1994) (in Chinese).
- R.Q. Lu, Resolution principle, Science China 7 (1981). 896–903 (in Chinese).
- Y. Xu, Lattice implication algebra, J. Southwest Jiaotong University, 28(1), 20–27 (1993) (in Chinese).
- Y. Xu, K. Qin, Lattice-valued propositionallogic(I), J. Southwest Jiaotong University, 2, 123–128, (1993) (English version).
- Y. Xu, K. Qin, Lattice-valued propositional logic(II), J. Southwest Jiaotong University, 1, 22–27 (1994) (English version).
- Y. Xu, D. Ruan, E.E. Kerre, J. Liu, α-Resolution principle based on lattice-valued propositional logic LP(X), Information Science, 130p(1–4), 195–223 (2000). doi: 10.1016/S0020-0255(00)00069-4
- Y. Xu, D. Ruan, K. Qin and J. Liu, Lattice-Valued Logic: An alternative approach to treat fuzziness and incomparability, Springer-Verlag, Berlin (2003).
- Y. Xu, J. Liu, D. Ruan, X.B. Li, Determination of αResolution in Lattice-Valued First-order Logic LF(X), Information Sciences, 181(10), 1836–1862 (2011). doi: 10.1016/j.ins.2010.03.024
- J. Liu, D. Ruan, Y. Xu, Z.M. Song, A resolution-like strategy based on lattice-valued logic, IEEE Transactions on Fuzzy Systems, 11(4), 560–567 (2003). doi: 10.1109/TFUZZ.2003.814859
- J. Liu, Z.M. Song, K.Y. Qin, A resolution procedure based on a fuzzy logic, The Ninth IEEE International Conference on Fuzzy Systems, 1, 191–196 (2000).
- J. Liu, M.L. Luis, Y. Xu, Z.R. Lu, Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic, Proceedings of the 37th International Symposium on Multiple-Valued Logic(ISMVL'07), Oslo, Norway, md13–16 May, (2007).
- W.T. Xu, W.Q. Zhang, D.X. Zhang, Y. Xu, X.D. Pan, α-resolution method for lattice-valued Horn generalized clauses in lattice-valued propositional logic system, the 11th International FLINS Conference: Decision Making and Soft Computing, August 17–20, Brazil, 270–275 (2014).
- X.F. Tang, C.J. Jiang, M.C. Zhou, Automatic Web service composition based on Horn clauses and Petri nets, Expert Systems with Applications, 38, 13027–13031 (2011).
- Z. Pei, D. Ruan, J. Liu, Y. Xu, Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applications, Atlantis Press and World Scientific Publishing Company (2010).
- Yang Xu, Shuwei Chen and Jun Ma, Linguistic Truth-valued Lattice Implication Algebra and Its Properties, in: IMACS Multiconference on Computational Engineering in Systems Applications, 1413–1418 (2006).