[1] Nilsson N.Probability logic[J].Artificial Intelligence,1986,28:71-78. [2] 王国俊.一种模糊命题的演算系统[J].中国科学(F),1997,42(10):1041-1044. Wang guojun.A fuzzy proposition calculus system[J].Science in China Ser F,1997,42(10):1041-1044.(in Chinese) [3] Hajek P.Metamathematics of Fuzzy Logic[M].Lodon:Kluwer Acade Mic,1998. [4] Esteva F,Godo L.Monoidal t-norm based logic:towards logic for left-continuous t-norms[J].Fuzzy Sets and Systems,2001,124:271-288. [5] 吴洪博,周建仁.计量逻辑中真度的均值表示形式及应用[J].电子学报,2012 40(9):1823-1828. Wu hongbo,Zhou jianren.The form of mean representation of truth degree with applications in quantitative logic[J].Acta Electronica Sinica,2012,40(9):1823-1828.(in Chinese) [6] 王国俊,宋建社.命题逻辑中的程度化方法[J].电子学报,2006,34(2):252-257. Wang guojun,Song jianshe.Graded method in propositional logic[J].Acta Electronica Sinica,2006,34(2):252-257.(in Chinese) [7] 李壁镜,王国俊.正则蕴涵算子所对应的逻辑伪度量空间[J].电子学报,2010,38(3):497- 502. Li bijing,Wang guojun.Logic pseudo-metric spaces of regular implication operators[J].Acta Electronica Sinica,2010,38(3):497- 502.(in Chinese) [8] Elkan C.The paradoxical success of fuzzy logic[J].IEEE Expert,1994,9:47-49. [9] Liu B.Uncertainty Theory:A Branch of Mathematics for Modeling Human Uncertainty[M].Springer-Verlag,Berlin,2010. [10] Zhang X.Duality and Pseudo duality of dual disjunctive nrmal forms[J].Knowledge-based Systems,2011,24:1033-1036. [11] Flaminio T,Marchioni.E.T-norm based logics with an independent involutive negation[J].Fuzzy Sets and Systems,2006,157:3125-3144. [12] Lawry J.A framework for linguistic modeling[J].Artificial Intelligence,2004,155:1-39. [13] Lawry J,Tang Y. Uncertainty modeling for vague concepts:A prototype theory approach[J].Artificial Intelligence,2009,173:1539-1558. [14] 张兴芳,胡凯,李令强,孟广武.同主语同标签Vague命题的Lawry逻辑[J].系统科学与数学,2013,33:1-10. Zhang xingfang,Hu kai,Li lingqiang,Meng guangwu.Vague propositional lawry logic for same subject under same label[J].Journal of System Science and Mathematical,2013,33:1-10.(in Chinese) [15] 王国俊.数理逻辑引论与归结原理.第二版[M].北京:科学出版社,2006. Wang guojun.Introduction to Mathematical Logic and Resolution Principle[M].Beijing:Science press,2006.(in Chinese) |