α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic L_V(n×2)P(X)

References

• J.P. Robinson, “ A machine-oriented logic based on the resolution principle”, J. ACM., 12, 23–41(1965).
   Web of Science ®Google Scholar
• J.R. Slagle, “ Automatic theorem proving with renamable and semantic resolution”, J. ACM., 14, 687–697(1967).
   Web of Science ®Google Scholar
• D. Anatoli, N. Robert, V. Andrei, “ Stratified Resolution”, Journal of Symbolic Computation, 36, 79–99(2003).
   Web of Science ®Google Scholar
• C. Areces, M. de Rijke, H. de Nivelle, “ Resolution in Modal, Description and Hybrid Logic”, Journal of Logic and Computation, 11, 717–736(2001).
   Web of Science ®Google Scholar
• M. Baaz, C. G. Fermvller, “ Resolution-Based Theorem Proving for Many Valued Logics”, J. Symbolic Comput., 19, 353–391(1995).
   Web of Science ®Google Scholar
• D. Dubois, H. Prade, “ Resolution principle in possibilistic logic”, J. Approx. Reason., 4, 1–21(1990).
   Google Scholar
• R. Hahnle, “ Automated Deduction in Multiple-valued Logics ”, Oxford University Press, 1994.
   Google Scholar
• R. C. T. Lee, “ Fuzzy logic and the resolution principle ”, J. ACM,, 19, 109–119(1972).
   Web of Science ®Google Scholar
• C. G. Morgan, “ Resolution for many-valued logics ”, Logique et Analyses, 19, 11–339(1976).
   Google Scholar
• K.Y. Qin, Y. Xu, “ Lattice-valued propositional logic(II)”, J. Southwest Jiaotong Univ., 2, 22–27(1994)( in English).
   Google Scholar
• Y. Xu, K.Y. Qin, “ Lattice-valued propositional logic(I)”, J. Southwest Jiaotong Univ., 1, 123–128(1993)( in English).
   Google Scholar
• Y. Xu, K.Y. Qin, Z.M. Song, “ On syntax of first-order lattice-valued logic system FM”, Chinese Sci. Bull., 42, 1052–1055(1997).
   Google Scholar
• Y. Xu, D. Ruan, K.Y. Qin, J. Liu, “ Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and incomparability ”, springer-verlag, 2003.
   Google Scholar
• Y. Xu, “ Lattice implication algebra ”, J. Southwest Jiaotong Univ., 1, 20–27(1993)( in Chinese).
   Google Scholar
• K.Y. Qin, Y. Xu, “ Lattice-valued propositional logic(II)”, J. Southwest Jiaotong Univ., 2, 22–27 (1994) ( in English).
   Google Scholar
• Y. Xu, D. Ruan, E. E. Kerre, J. Liu, “ α-Resolution principle based on lattice-valued propositional logic LP(X)”, Information Science, 130, 195–223(2000).
   Web of Science ®Google Scholar
• Y. Xu, D. Ruan, E. E. Kerre, J. Liu, “ α-Resolution principle based on first-order lattice-valued logic LF(X)”, Information Sciences, 132, 221–239(2001).
   Web of Science ®Google Scholar
• Y. Xu, W. T. Xu, X. M. Zhong, X. X. He, “ α- Generalized resolution principle based on latticevalued propositional logic LP(X)”, The 9th International FLINS Conference on Foundations and Applications of Computational Intelligence, 14, August 2-4, 2010, Chengdu(Emei), China, 66–71.
   Google Scholar
• X. H. Wang, X. H. Liu, “ Generalized Resolution ”, J. ACM., 2, 81–92(1982).
   Google Scholar
• Z. Pei, D. Ruan, J. Liu, Y. Xu, “ Linguistic Valuesbased Intelligent Information Processing: Theory, Methods and Applications ”, Atlantic Press, 2009.
   Google Scholar
• L. A. Zadeh, “ Fuzzy logic = computing with words ”, IEEE Transactions on Fuzzy Systems, 4, 103–111(1996).
   Web of Science ®Google Scholar
• L. A. Zadeh, “ The concept of a linguistic variable and its application to approximate reasoning(I)”, Information Sciences, 8, 199–249(1975).
   Web of Science ®Google Scholar
• L. A. Zadeh, J. Kacprzyk, “ Computing with words in information/intelligent system: Foundations ”, Berlin: Springer-Verlag, 1999.
   Google Scholar
• Y. Xu, S. W. Chen, J. Ma, “ Linguistic truth-valued lattice implication algebra and its properties”, IMACS Multi-conference on Computational Engineering in System Application, 1413–1418(2006).
   Google Scholar
• Y. Xu, S.W. Chen, J. Liu, D. Ruan, “Weak Completeness of Resolution in a Linguistic Truth-Valued propositional logic ”, proc.IFSA2007: Theoretical Advance and Applications of Fuzzy Logic and Soft computing, June 18-21, 2007, Cancun, Mexico, 358–366 (2007).
   Google Scholar
• X. B. Li, “ The study of resolution automated reasoning for linguistic truth-valued lattice-valued logic ”, Southwest Jiaotong University Dissertation, Chengdu, China, 2008.
   Google Scholar
• W. T. Xu, “α-Generalized linear resolution method for linguistic truth-valued lattice-valued logic system based on lattice implication algebras ”, Southwest Jiaotong University Dissertation, Chengdu, China, 2011.
   Google Scholar
• X. M. Zhong, Y. Xu, J. Liu, D. Ruan, S. W. Chen, “ General form of α-resolution based on linguistic truth-valued lattice-valued logic ”, Soft Computing, received.
   Google Scholar
• X. M. Zhong, J. Liu, S. W. Chen, Y. Xu, “ α-Quasi-lock semantic resolution method for linguistic truth-valued lattice-valued propositional logic LV(n£2)P(X)”, Proceedings of the 2011 International Conference on Intelligent Systems and Knowledge Engineering (ISKE2011), Shanghai, China, Dec. 15-17, 2011, 159–169.
   Google Scholar
• J. F. Zhang, Y. Xu, et al., “ α-resolution fields of generalized literals of lattice-valued logic”, Proceedings of the international Conf. on Fuzzy Logic and Intelligent Technologies in Nuclear Science(FLINS2010), 4, Chengdu, China, August 2-4 2010, 99–104.
   Google Scholar
• J. F. Zhang, Y. Xu, “α-Semantic resolution method on lattice-valued propositional logic LP(X)”, Journal of Liaoning Technical University(Natural Science), 29, 767–770(2010)( in Chinese).
   Google Scholar
• J. F. Zhang, Y. Xu, X. X. He, “ Lattice-valued Semantic resolution reasoning method ”, Computer Science, 38, 201–203(2011)( in Chinese).
   Google Scholar
• J. F. Zhang, Y. Xu, “ α-Semantic resolution method in lattice-valued logic LP(X)”, Proceedings of the 8th International Conference on Fuzzy Systems and Knowledge Discovery, July 26-28, 2011, Shanghai, China, 402–406.
   Google Scholar
• L. Zou, J. L. Li, K. J. Xu, Y. Xu, “ A Kind of Resolution Method of Linguistic Truth-valued Propositional Logic Based on LIA ”, Proc. 4th International Conference on Fuzzy Systems and Knowledge discovery, August, 2007, Haikou, China, 32–36.
   Google Scholar