共查询到20条相似文献,搜索用时 156 毫秒
1.
本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。 相似文献
2.
G(o)del逻辑系统中的广义重言式理论 总被引:14,自引:0,他引:14
本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划. 相似文献
3.
系统RDP中的广义重言式理论 总被引:1,自引:0,他引:1
研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式. 相似文献
4.
首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数a∈[0,1],可达α-重言式集是类类非空的,并同时给出了修正的Product逻辑系统中广义重言式的升级算法。 相似文献
5.
6.
修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划 总被引:1,自引:0,他引:1
将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划. 相似文献
7.
系统Hα中F(S)的一个分划及一种升级算法 总被引:1,自引:0,他引:1
研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。 相似文献
8.
积逻辑系统中的广义重言式 总被引:15,自引:2,他引:13
讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。 相似文献
9.
10.
Gainse-Rescher逻辑系统中的一种降级算法及其性质 总被引:3,自引:0,他引:3
在Gainse-Rescher逻辑系统^-C,Gr,Sn中的广义矛盾式之间建立了一种降级算法,并讨论了该降级算法的基本性质。主要结果是:在逻辑系统^-Gr(Gr)中,矛盾式不可能由对非矛盾式进行有限次降级算法得到,在逻辑系统Sn中,对任一公式最多次行n-1次降级算法即可得到矛盾式。 相似文献
11.
12.
13.
研究模糊命题演算的形式演绎系统L及在语义上相关的修正的Kleene逻辑系统-↑W,W,Wk,引入语义[α]-MP规则,语义[α^ ]-MP规则,语义[α]-HS规则,语义[α^ ]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的∑-(α-重言式)的相应结果,丰富该系统中∑-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具。 相似文献
14.
Lukasiewicz多值逻辑系统中的广义重言式理论 总被引:21,自引:3,他引:18
引入一类特殊的公式序列Ak,k=1,2,…,证明了在Lukasiewicz多值逻辑系统,对任意真值a∈Ln而言,可达a-重言式类类不空,进一步证明了系统中广义重言式的类类互异定理,最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。 相似文献
15.
研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。 相似文献
16.
研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]-HS规则,语义[α+]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的Σ-(α-重言式)的相应结果,丰富该系统中Σ-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具. 相似文献
17.
研究赋值格为非线性序,非运算 |不同于Boole 的补运算′,而蕴含算子→取KleeneDienes的RK 的一种新的四值逻辑系统K24,得到若干结果。特别是,K24中没有重言式,其准重言式恰与C2 中的重言式一致,即QT(K24)= T(C2)。 相似文献
18.
R_0-代数[0,1]的子代数与广义重言式 总被引:12,自引:1,他引:11
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。 相似文献
19.
赋值格为非线性序的Kleene-Dienes四值逻辑系统K24 总被引:1,自引:0,他引:1
研究赋值格为非线性序,非运算不同于Boole的补运算,而蕴含算子→取Kleene-Dienes的RK的一种新的四值逻辑系统K^24,得到若干结果。特别是,K^24中没有重言式,其准重言式恰与C2中的重言式一致,即QT(K^24)=T(C2)。 相似文献
20.
修正的Product逻辑系统中的广义矛盾式 总被引:1,自引:0,他引:1
讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法. 相似文献