Gdel系统中一种降级算法及性质

与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助.

Gainse-Rescher逻辑系统中的一种降级算法及其性质

在Gainse Rescher逻辑系统 Gr,Gr,Sn 中的广义矛盾式之间建立了一种降级算法 ,并讨论了该降级算法的基本性质 .主要结果是 :在逻辑系统 Gr(Gr)中 ,矛盾式不可能由对非矛盾式进行有限次降级算法得到 ,在逻辑系统Sn 中 ,对任一公式最多次行n-

修正的RDP逻辑系统中的广义矛盾式

讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

逻辑系统、W、W_n中的广义矛盾式及一种降级算法

研究了多值逻辑系统、W、Wn中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.在、W、Wn中给出了一种降级算法,但、W中的矛盾式并不能由对非矛盾式进行降级得到.而在Wn中,矛盾式可由非矛盾式经过有限次降级得到.

修正的Product逻辑系统中的广义矛盾式

讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法。

有限扰动模糊命题逻辑系统的Σ-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.

修正的Kleene系统中的一种降级算法及其性质

通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.