Computer Science ›› 2015, Vol. 42 ›› Issue (11): 130-133.doi: 10.11896/j.issn.1002-137X.2015.11.027

Previous Articles     Next Articles

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.

Key words: Four-valued logic system L*4,Symmetric logic formulas,Counting problem

[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   
No Suggested Reading articles found!