排序方式: 共有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