排序方式: 共有63条查询结果,搜索用时 31 毫秒
1.
Ln命题演算中的一种新程度化方法 总被引:2,自引:2,他引:0
将Lukasiewiczn值逻辑系统Ln中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ'). 相似文献
2.
Goedel逻辑系统中F(S)中的一个分划及其应用 总被引:9,自引:0,他引:9
将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中,得到了(1)在逻辑系统G∧-、G中,重言式不可能由对非重言式进行有限次升级算法得到;(2)在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;(3)在逻辑系统Gn中,{C(Gn),[i/n-1-C(Gn),][i/n-1]-T(Gn),T(Gn)|i∈{1,2,…,n-2}}是F(S)的一个关于→同余的分划,在逻辑系统G∧-中,{C(G∧-),[(1/2)-]-C(G∧-),[1/2]-C(G∧-),[1∧-]-C(G∧-),[0∧ ]-T(G∧-),[1/2]-T(G∧-),[(1/2∧ ]-T(G∧-),T(G∧-)}是F(S)的一个关于→同余的分划,(4)在[0]-T(R)(R∈{G∧-,G,Gn})中引入了一种降级算法并讨论了其性质。 相似文献
3.
将王国俊教授于1997年以来在逻辑系统W、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Godel逻辑系统G、G、Gn中,得到了(1)在逻辑系统G、G中,重言式不可能由对非重言式进行有限次升级算法得到;(2)在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;(3)在逻辑系统Gn中,是F(S)的一个关于-同余的分划;在逻辑系统G中,是F(S)的一个关于-同余的分划.(4)在[0]-T(R)(R∈|G,G,Gn|)中引入了一种降级算法并讨论了其性质. 相似文献
4.
首先在BR0代数M中引入滤子,然后又给出了M中次极大滤子的概念,并讨论了它的性质,得到了BR0代数中的每个滤子都可表示为一些次极大滤子的交的结果。特别地,在满足滤子降链条件的BR0代数中,每个滤子都可表示为有限个次极大滤子的交。 相似文献
5.
在4种逻辑代数中分别建立了逻辑度量,讨论了其性质,并对它们之间的关系进行了详尽地讨论;又对4个逻辑度量空间的结构及其性质进行了详细地讨论,并得到一些好的结果。 相似文献
6.
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统W中的广义语义MP规则也成为一个特例。 相似文献
7.
将王国俊教授在R0-型逻辑系统中建立的R0-蕴涵算子应用于模糊数学理论之中,在非空集合X为论域的模糊集族F(X)上定义了一种新型运算-R0蕴含运算,并讨论了F(X)上R0-蕴含运算的一些基本性质。通过R0-蕴含运算在F(X)上定义了一个二元模糊相似关系-R0-相似关系,并对其性质进行了较为详细的讨论。在有限论域X确定的模糊集族F(X)上给出了几个R0-相似关系的具体实例。 相似文献
8.
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果. 相似文献
9.
BR0代数的Fuzzy理想与Fuzzy素理想 总被引:2,自引:2,他引:0
引入了BR0代数的Fuzzy理想,Fuzzy素理想的概念.讨论了BR0代数的Fuzzy理想和Fuzzy素理想的若干性质,给出了BR0代数的Fuzzy集是Fuzzy理想的充要条件,证明了Fuzzy理想和Fuzzy素理想在BR0代数同构下的不变性. 相似文献
10.
粗糙集代数与BR0代数 总被引:1,自引:0,他引:1
讨论粗糙集代数与BR0代数的关系,以及由粗糙集代数构造BR0代数的方法。借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR0代数。 相似文献