首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  完全免费   1篇
  数学   6篇
  2007年   1篇
  2006年   2篇
  2002年   1篇
  2001年   2篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
二值命题逻辑中命题的真度理论   总被引:31,自引:0,他引:31       下载免费PDF全文
王国俊  傅丽  宋建社 《中国科学A辑》2001,31(11):998-1008
利用势为2的均匀概率空间的无穷乘积在经典二值命题逻辑中引入了公式的真度概念以及公式间的相似度概念,进而导出了全体公式集上的一种伪距离,为二值命题逻辑的近似推理理论提供了一种可能的框架.  相似文献
2.
Theory of truth degrees of propositions in two-valued logic   总被引:18,自引:0,他引:18  
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.  相似文献
3.
经典命题逻辑的Boole语义理论   总被引:3,自引:2,他引:1  
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。  相似文献
4.
三Ⅰ方法综述——它的提出、发展、应用和逻辑版本   总被引:2,自引:0,他引:2  
对三Ⅰ方法提出的背景、三Ⅰ方法的推广与应用作了综述,介绍三Ⅰ方法在教理逻辑学中的版本。  相似文献
5.
三I方法综述——它的提出、发展、应用和逻辑版本   总被引:2,自引:0,他引:2  
对三I方法提出的背景、三I方法的推广与应用作了综述,介绍三I方法在数理逻辑学中的版本。  相似文献
6.
我们证明了蕴涵BCK-代数的伴随半群是一个上半格;具有条件(s)的蕴涵BCK-代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK-代数的伴随半群是一个布尔代数。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号