• 第十四届中国多值逻辑与模糊逻辑学术会议 •

### 对称逻辑公式在L*4逻辑度量空间中的分布

1. 延安大学数学与计算机科学学院 延安716000,延安大学数学与计算机科学学院 延安716000,延安大学数学与计算机科学学院 延安716000
• 出版日期:2018-11-14 发布日期:2018-11-14
• 基金资助:
本文受国家自然科学基金(11471007),陕西省自然科学基金(2014JM1020),陕西省高水平大学建设专项资金(2012SXTS07),延安大学研究生创新基金,陕西省大学生创新训练计划项目(1064)资助

### Distribution of Symmetrical Logic Formulas in L*4-logic Metric Space

HUI Xiao-jing, ZHAO Ma-nao and GAO Jiao

• Online:2018-11-14 Published:2018-11-14

Abstract: In four-valued logic system L*4,the concept of symmetric logic formulas was given.The counting problem of the symmetrical logic formulas in the L*4- logic metric space was studied by using Matlab,and the numbers of symmetric logic formulas with 3n,3n+1 and 3n+2 atoms were given.It was proved that the ratio of the number of symmetric formulas with n atoms over the numbers of all formulas with n atoms converges to zero when n tends to infinite.

 [1] 王国俊.数理逻辑引论与归结原理(第二版)[M].北京:科学出社,2006 Wang Guo-jun.Introduction to Mathematical Logic and Resolution Principle (2nd Edition)[M].Beijing:Science in China Press,2006 [2] 王国俊,傅丽,宋建设.二值命题逻辑中命题的真度理论[J].中国学(A辑),2001,1(11):998-1008 Wang Guo-jun,Fu Li,Song Jian-she.Theory of truth degrees of propositions in two-valued propositional logic[J].Science in China(ser.A),2001,1(11):998-1008 [3] Wang Guo-jun,Leung Y.Integrated semantics and logic metric spaces [J].Fuzzy Sets and Systems,2003,136(1):71-91 [4] Ying Ming-sheng.A logic for approximate reasoning [J].Journal of Symbolic Logic,1994,59:830-837 [5] Pei Dao-wu,Wang G J.The extensions L*nof formal systems L*n and their completeness [J].Information Sciences,2003,152:155-166 [6] 王国俊,惠小静.概率逻辑学基本定理的推广[J].电子学报,2007,5(7):1333-1340 Wang Guo-jun,Hui Xiao-jing.Generalization of fundamental theorem of probability logic and its application[J].Acta Electronica Sinica,2007,35(7):1333-1340 [7] 惠小静,王国俊.经典推理模式的随机化研究及其应用[J].中国科学(E辑)2007,7(6):801-812 Hui Xiao-jing,Wang Guo-jun.Randomization of classical infe-rence patterns and its application[J].Science in China(ser.E),2007,7(6):801-810 [8] 胡明娣,王国俊.对称逻辑公式在经典逻辑度量空间中的分布[J].电子学报,2011,9(2):419-423Hu Ming-di,Wang Guo-jun.Distribution of the symmetrical logicformulas in the classical logic metric space[J].Acta ElectronicaSinica,2011,39(2):419-423 [9] 王庆平,王国俊.对称逻辑公式在L*3逻辑度量空间中的分布[J].计算机学报,2011,4(1):105-114 Wang Qing-ping,Wang Guo-jun.Distribution of the symmetrical logic formulas in the L*3-logic metric space[J].Chinese Journal of Computers,2011,4(1):105-114 [10] 王庆平.L*3中逻辑公式的范式表示及对称逻辑公式的构造方法[J].计算机学报,2013,6(4):851-861 Wang Qing-ping.The normal form of logic formulae and construction method of symmetrical logic formulae in L*3[J].Chinese Journal of Computers,2013,6(4):851-861
 No related articles found!
Viewed
Full text

Abstract

Cited

Shared
Discussed
 [1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 . [2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 . [3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 . [4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 . [5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 . [6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 . [7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 . [8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 . [9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 . [10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .