The validity degree vectors of formulae in two-valued predicate logic

References

• A.G. Hamilton, ”Logic For Mathematicians”, Cambridge University Press, London,(1978).
   Google Scholar
• J.B. Rosser, A.R. Turequtte, ”Many-Valued Logics”, North-Holland, Amsterdam, (1952).
   Google Scholar
• P. Hájek, ”Metamathematics of Fuzzy Logic”, Kluwer Academic Publishers, London, (1998).
   Google Scholar
• M. De Glas, ”Knowledge representation in a fuzzy setting”, Technical Report 89/48, Universite Paris VI, Laforia, (1989).
   Google Scholar
• J. Pavelka, ”On fuzzy logic I, II, III”, Zeitschr. f. Math. Logik u. Grundlagen d. Math., 25, 45–52, 119-134, 447-464 (1979).
   Web of Science ®Google Scholar
• Guo-Jun Wang, Hong-Jun Zhou,”Introduction to Mathematical Logic and Resolution Principle(Second Ed.)”,Science Press,Beijing,(2009)
   Google Scholar
• Y. Xu, D. Ruan, K. Qin, J. Liu, ”Lattice-Valued Logic- An Alternative Approach to Treat Fuzziness and Incomparability”, Springer, NewYork, (2003).
   Google Scholar
• G.J. Wang, L. Fu, J.S. Song, ”Theory of truth degrees of propositions in two-valued logic”, Sci. China A, 45(9) 1106–1116 (2002).
   Google Scholar
• Wang G. J., Leung Y., ”Integrated semantic and logic metric spaces”, Fuzzy Sets Syst, 136, 71–91 (2003).
   Web of Science ®Google Scholar
• Li B.J., Wang G.J., ”Theory of truth degrees of formulas in Łukasiewicz n-valued propositional logic and a limit theorem”, Sci China Ser F, 48(6), 727–736 (2005).
   Google Scholar
• Wang G. J., Qian G. S., Dang C. Y., ”Theory unified approximate reasoning in L* propositional calculus system and K* predicate calculus system”, Sci China Ser F-Inf Sci, 48(1), 1–14 (2005)
   Google Scholar
• H.J. Zhou, G.J. Wang, ”A new theory consistency index based on deduction theorems in several logic systems”, Fuzzy Sets Syst., 157, 427–443 (2006).
   Web of Science ®Google Scholar
• Han C., Wang G. J., Xu W., ”A 16-classification partition of formula set F(S) in revised Kleene SystemW”, Soft Comput, 10(2), 115–118 (2006).
   Web of Science ®Google Scholar
• Li J., Wang G. J., ”Theory of truth degrees of propositions in the logic system L*n”, Sci China Ser F-Inf Sci, 49(4) 471–483 (2006).
   Google Scholar
• Zhou H. J., Wang G. J., Zhou W., ”Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-Logic)”, Int J Approx Reason, 43, 117–132 (2006).
   Web of Science ®Google Scholar
• Wang G. J., Hui X. J., ”Randomization of classical inference patterns and its application”, Sci China Ser F-Inf Sci, 50(6), 867–877 (2007).
   Google Scholar
• Wang G. J., Hui X.J., Song J.S., ”The R0-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens”, Comput Math Appl, 55, 1974–1987 (2008).
   Web of Science ®Google Scholar
• Wang G. J., Duan Q. L., ”Theory of (n) truth degrees of formulas in modal logic and a consistency theorem”, Sci China Ser F, 52, 70–83 (2009).
   Google Scholar
• Hongbo Wu, ”The generalized truth degree of quantitative logic in the logic system L* n (n-valued NMlogic system)”, Computers and Mathematics with Applications, 59, 2587–2596 (2010).
   Web of Science ®Google Scholar
• Zhou HongJun,Wang GuoJun,”Borel probabilistic and quantitative logic”,Science China:Information Sciences,54(9):1843–1854(2011)
   Web of Science ®Google Scholar
• J. Li, Y. Zhou, ”A Quantitative Method of n-valued G öel Propositional Logic”, Procedia Environmental Sciences, 12, 583–589 (2012).
   Google Scholar
• Xiaofeng Ye,Weibing Zuo,”The Randomization of R0-logic With Six-valued Nonlinear Valuation Set”,Physics Procedia,25,2146–2151(2012).
   Google Scholar
• Zhang Xiao-Hong,Dai Jian-Hua,”Rough implication operation and residuated based fuzzy logic system”, The Journal of China Universities of Posts and Telecommunications,20(Suppl. 1),109–112(2013)
   Google Scholar
• Wu HongBo,”The theory of G-truth degrees of formulas and limit theorem in Lukasiewicz propositional logic”, Science China:Information Science, 44(12), 1542–1559 (2014)
   Google Scholar
• Yanhong She,”On the rough consistency measures of logic theories and approximate reasoning in rough logic”,International Journal of Approximate Reasoning,55,486–499(2014).
   Web of Science ®Google Scholar
• Hui Xiaojing, ”Quantified axiomatic extension systems of SBLs based on truth value”, Sci. China:Information Science, 44(7),900–911(2014). (in Chinese)
   Google Scholar
• Jian Ren Zhou, Hong Bo Wu,”The Characteristics of Logic Functions Determined by R0-Implication Operator”, Acta Mathematic Sinica(Chinese Series), 57(2),235–248(2014).
   Google Scholar
• Guojun Wang, Hongjun Zhou, ”Quantitative logic”, Information Sciences, 179, 226–247 (2009).
   Web of Science ®Google Scholar
• Cheng Li,Hua-Wen Liu,Guo-Jun Wang,”Correction and improvement on several results in quantitative logic”,Information Sciences,278,555–558(2014).
   Web of Science ®Google Scholar
• W. Bandler, L.J. Kohout, ”Semantics of implication operators and fuzzy relational products”, Internat. J. ManCMachine Stud., 12, 89–116 (1980).
   Google Scholar
• W. Bandler, L.J. Kohout, ”The interrelations of the principal fuzzy logical operators”, in: M.M. Gupta, A. Kandel,W. Bandler, J.B. Kiszka (Eds.), ”Approximate Reasoning in Expert Systems”, North-Holland, Ams-terdam, 767–780 (1985).
   Google Scholar
• W. Bandler, L.J. Kohout, ”The use of checklist paradigm in inference systems”, in: C.V. Negoita, H. Prade (Eds.), ”Fuzzy Logic in Knowledge Engineering”, Verlag TÜV Rheinland, Köln, 95–111 (1986).
   Google Scholar
• P. Hjek, L.J. Kohout, ”Fuzzy implications and generalized quantifiers”, Internat. J. Uncertainty, Fuzziness and Knowledge Based Systems, 4(3), 225–233 (1996).
   Web of Science ®Google Scholar
• L.J. Kohout,W. Bandler, ”Interval-valued systems for approximate reasoning based on the checklist paradigm”, in: P. Wang, Paul (Eds.), ”Advances in Fuzzy Theory and Technology(vol. 1)”, Bookwrights Press, Durham, N.C, 167–193 (1993).
   Google Scholar
• L.J. Kohout, E. Kim, ”Characterization of interval fuzzy logic systems of connectives by group transformations”, Reliable Comput, 10 299C334 (2004).
   Google Scholar
• G.J. Wang, X.Y. Qin, X.N. Zhou, ”An intrinsic fuzzy set on the universe of discourse of predicate formulas”, Fuzzy Sets Syst, 157, 3145–3158 (2006).
   Web of Science ®Google Scholar
• Qin X.Y., Liu J., Xu Yang, Chen S.W., Liu Y., ”Theory of approximate reasoning in two-valued predicate logic based on the quasi-truth degrees”, Journal of Donghua University, 29(1), 23–27 (2012).
   Google Scholar
• Qin X.Y.,Liu Y.,Xu Y., ”The degree of the quasisimilarity and the pseudo-metric between predicate formulae”,Proceedings of the 2nd International Conference on Quantitative Logic and Soft Computing, 273–283(2010).
   Google Scholar
• Qin X.Y.,Liu Y.,Xu Y.,Zhang J.F., ”On the quasisimilarity degree between first-order formulae”, Proceedings of 9th International FLINS Conference on Foundations and Applications of Computational Intelligence, 547–552(2010).
   Google Scholar
• Wang G.J., ”Axiomatic theory of truth degree for a class of first-order formulas and its application”, Sci China-Inf Sci, 42(5), 648–662 (2012).
   Google Scholar
• Blackburn P, Rijke M, Venema Y, ”Modal Logic”, Cambridge University Press, London, (2001).
   Google Scholar
• D.W. Barnes, J.M. Mack, ”An Algebraic Introduction to Mathematical Logic”, Springer, NewYork, (1975).
   Google Scholar
• P.R. Halmos, ”Measure Theory”, Van Nostrand, New York, (1950).
   Google Scholar
• Y. Ang, ”Ideas and Methods of mathematical logic”, Fudan University Press, Shanghai, (1991) (in Chinese).
   Google Scholar