计算机科学 ›› 2015, Vol. 42 ›› Issue (11): 130-133.doi: 10.11896/j.issn.1002-137X.2015.11.027
• 第十四届中国多值逻辑与模糊逻辑学术会议 • 上一篇 下一篇
惠小静,赵玛瑙,高姣
HUI Xiao-jing, ZHAO Ma-nao and GAO Jiao
摘要: 在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。
[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! |
|