首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  免费   0篇
数学   2篇
  2002年   2篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
Gainse-Rescher逻辑系统中的一种降级算法及其性质   总被引:3,自引:0,他引:3  
在Gainse-Rescher逻辑系统^-C,Gr,Sn中的广义矛盾式之间建立了一种降级算法,并讨论了该降级算法的基本性质。主要结果是:在逻辑系统^-Gr(Gr)中,矛盾式不可能由对非矛盾式进行有限次降级算法得到,在逻辑系统Sn中,对任一公式最多次行n-1次降级算法即可得到矛盾式。  相似文献   
2.
基础L*系统的一种扩张——Lukasiewicz系统   总被引:12,自引:1,他引:11  
研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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