期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Theory of truth degrees of propositions in two-valued logic 被引量：18

Theory of truth degrees of propositions in two-valued logic

原文传递

导出

摘要 By means of infinite product of evenly distributed probabilistic spaces of cardinal 2 this paper introduces the concepts of truth degrees of formulas and similarity degrees among formulas, and a pseudo-metric on the set of formulas is derived therefrom, this offers a possible framework for developing an approximate reasoning theory of propositions in two-valued logic. By means of infinite product of evenly distributed probabilistic spaces of cardinal 2 this paper introduces the concepts of truth degrees of formulas and similarity degrees among formulas, and a pseudo-metric on the set of formulas is derived therefrom, this offers a possible framework for developing an approximate reasoning theory of propositions in two-valued logic.

作者王国俊傅丽宋建社

机构地区 Research Center for Science Institute of Mathematics

出处《Science China Mathematics》 SCIE 2002年第9期1106-1116,共11页 中国科学：数学（英文版）

基金 This work was supported by the National Natural Science Foundation of China (Grant Nos. 19831040 and 69831040).

关键词 measurized mapping TRUTH degree SIMILARITY degree THEOREM with error DIVERGENCE degree deviation. measurized mapping truth degree similarity degree theorem with error divergence degree deviation

分类号 O141 [理学—基础数学]

引文网络
相关文献

参考文献1

1王国俊.A universal theory of measure and integral on valuation spaces with respect to diverse implication operators[J].Science China(Technological Sciences),2000,43(6):586-594. 被引量：5

二级参考文献1

1李洪兴.从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J].模糊系统与数学,1995,9(4):1-14. 被引量：145

共引文献4

1SHI HuiXian & WANG GuoJun1 Institute of Mathematics, Shaanxi Normal University, Xi’an 710062, China.Lattice-valued modal propositional logic and its completeness[J].Science China(Information Sciences),2010,53(11):2230-2239. 被引量：4
2王国俊,时慧娴.格值模态命题逻辑及其完备性[J].中国科学：信息科学,2011,41(1):66-76. 被引量：4
3时慧娴,王国俊.多值模态逻辑的计量化方法[J].软件学报,2012,23(12):3074-3087. 被引量：10
4王国俊,宋庆燕,宋玉靖.Boole代数上的度量结构及其在命题逻辑中的应用[J].数学学报（中文版）,2004,47(2):317-326. 被引量：17

同被引文献97

1胡明娣,王国俊.经典逻辑度量空间上的反射变换[J].陕西师范大学学报（自然科学版）,2009,37(6):1-4. 被引量：13
2李骏,兰倩,黎锁平.Lukasiewicz三值命题逻辑中命题的真度理论[J].模糊系统与数学,2004,18(4):39-45. 被引量：17
3王国俊,秦晓燕,周湘南.一类二值谓词逻辑中公式的准真度理论[J].陕西师范大学学报（自然科学版）,2005,33(1):1-6. 被引量：23
4张帅,冯培恩,潘双夏,陈泳,朱爱华.基于循环映射模型的概念设计自动化策略研究[J].计算机辅助设计与图形学学报,2005,17(3):491-497. 被引量：13
5彭家寅,侯健,李洪兴.基于某些常见蕴涵算子的反向三I算法[J].自然科学进展,2005,15(4):404-410. 被引量：51
6王国俊,李璧镜.Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J].中国科学（E辑）,2005,35(6):561-569. 被引量：142
7李洪兴.从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J].模糊系统与数学,1995,9(4):1-14. 被引量：145
8任芳,王国俊.正则蕴涵算子分析性质的研究[J].陕西师范大学学报（自然科学版）,2005,33(3):6-9. 被引量：1
9LI Bijing,WANG Guojun.Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem[J].Science in China(Series F),2005,48(6):727-736. 被引量：30
10王国俊,宋建社.命题逻辑中的程度化方法[J].电子学报,2006,34(2):252-257. 被引量：67

引证文献18

1于鹏,王国俊.根与F(S)中的近似推理[J].自然科学进展,2006,16(8):1028-1032. 被引量：33
2李骏,王国俊.Gdel n值命题逻辑中命题的α-真度理论[J].软件学报,2007,18(1):33-39. 被引量：25
3王国俊,折延宏.二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J].数学学报（中文版）,2007,50(4):841-850. 被引量：27
4王国俊,惠小静.概率逻辑学基本定理的推广[J].电子学报,2007,35(7):1333-1340. 被引量：41
5李骏,王国俊.基于支持度理论的广义Modus Ponens问题的最优解[J].软件学报,2007,18(11):2712-2718. 被引量：6
6于西昌,谭桂梅.二值命题逻辑中的概率真度[J].计算机工程与应用,2010,46(11):46-48. 被引量：1
7唐益明,刘晓平.功能树的EFVM求解算法[J].计算机辅助设计与图形学学报,2010,22(9):1578-1586. 被引量：5
8于西昌,谭桂梅.三值命题逻辑中公式的概率真度[J].井冈山大学学报（自然科学版）,2011,32(1):13-19.
9ZHOU HongJun WANG GuoJun.Borel probabilistic and quantitative logic[J].Science China(Information Sciences),2011,54(9):1843-1854. 被引量：12
10周红军,王国俊.Borel型概率计量逻辑[J].中国科学：信息科学,2011,41(11):1328-1342. 被引量：18

二级引证文献164

1罗久飞,郑睿,王鑫宇,陈平,冯松.油液磨粒感应电压特征辨识研究[J].仪器仪表学报,2022,43(8):173-181. 被引量：3
2谢红.基于词频比的改进Jaccard系数文本相似度计算[J].内江科技,2021,42(8):27-28. 被引量：10
3胡江山.逻辑系统L_3~*中命题的一种真度[J].潍坊学院学报,2009,9(2):72-74.
4龚加安,吴洪博.乘积代数的性质和度量[J].西安文理学院学报（自然科学版）,2009,12(3):1-4.
5胡明娣,王国俊.经典逻辑度量空间上的反射变换[J].陕西师范大学学报（自然科学版）,2009,37(6):1-4. 被引量：13
6王国俊,段巧林.模态逻辑中的(n)真度理论与和谐定理[J].中国科学（F辑:信息科学）,2009,39(2):234-245. 被引量：11
7李骏,王国俊,周艳.n值逻辑系统MTL_n中命题的程度化方法[J].计算机工程与应用,2007,43(21):4-7. 被引量：2
8刘华文,王国俊,张诚一.几种逻辑系统中的近似推理理论[J].山东大学学报（理学版）,2007,42(7):77-81. 被引量：19
9刘保翠,王国俊.二值命题逻辑中的三种Γ近似推理模式及其等价性[J].模糊系统与数学,2008,22(2):10-17. 被引量：7
10于鹏,史胜楠.度量Boole代数的性质及其在F(S)的近似推理中的应用[J].宁夏大学学报（自然科学版）,2008,29(2):97-100.

1王国俊.A universal theory of measure and integral on valuation spaces with respect to diverse implication operators[J].Science China(Technological Sciences),2000,43(6):586-594. 被引量：5
2CHEN Peng SHI Fu Gui.A Note on Erceg＇s Pseudo-Metric and Pointwise Pseudo-Metric[J].Journal of Mathematical Research and Exposition,2008,28(2):439-443. 被引量：4
3秦克云.模糊值命题逻辑FP^＊（X）[J].Chinese Quarterly Journal of Mathematics,1995,10(2):72-76.
4洪晴华.CONFIGURATION FROM TRUTH VECTOR TO XOR FUNCTION[J].Applied Mathematics and Mechanics(English Edition),1999,20(11):1275-1278.
5潘小东,徐扬.Linguistic Truth Values Lattice Implication Algebras[J].Journal of Donghua University(English Edition),2006,23(6):101-104.
6秦晓燕,刘军,徐扬,陈树伟,刘熠.Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees[J].Journal of Donghua University(English Edition),2012,29(1):23-27. 被引量：2
7WANG GuoJun,DUAN QiaoLin.Theory of (n) truth degrees of formulas in modal logic and a consistency theorem[J].Science in China(Series F),2009,52(1):70-83. 被引量：13
8刘叙华,邓安生.Boolean Operator Fuzzy Logic[J].Science China Mathematics,1994,37(8):1009-1017.
9周作领.CHAOS AND TOTAL CHAOS[J].Chinese Science Bulletin,1988,33(18):1494-1497.
10洪加威.SOME UNPROVABLE TRUE PROPOSITIONS IN COMPLEXITY[J].Chinese Science Bulletin,1983,28(10).

Science China Mathematics

2002年第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部