共查询到20条相似文献,搜索用时 765 毫秒
1.
隋云云 《重庆文理学院学报(自然科学版)》2008,27(5)
讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件. 相似文献
2.
SUI Yun-yun 《渝西学院学报(自然科学版)》2008,(5)
讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件. 相似文献
3.
多值逻辑系统中的子代数与广义重言式 总被引:7,自引:0,他引:7
裴道武 《陕西师范大学学报(自然科学版)》2000,28(2)
研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 . 相似文献
4.
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到。 相似文献
5.
Gainse-Rescher逻辑系统中的广义重言式理论 总被引:3,自引:0,他引:3
将王国俊教授在逻辑系统W,W,Wk中的广义重言式理论进行推广,并应用到了Gainse-Rescher逻辑系统Gr,Gr,Sn中,主要结果是:在逻辑系统Gr,Gr中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Sn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和a-矛盾式概念分别在Gr,Gr,Sn中给出了F(S)的一个关于一同余的分划。 相似文献
6.
有限区间值模糊逻辑代数及其广义重言式 总被引:4,自引:0,他引:4
讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性 相似文献
7.
有限扰动模糊逻辑代数及其广义重言式 总被引:8,自引:0,他引:8
讨论了有限扰动模糊逻辑代数,给出了判别其子代数的充要条件:将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中,证明了在I^2n中不存在(1,0)-重言式,广义重言不随系统的增大而增多,广义重言式前缀是不灵敏的。 相似文献
8.
讨论了五值非线性序集逻辑系统L25,将四值逻辑系统扩充到五值逻辑系统,在五值逻辑系统中,建立了相应的重言式理论、准重言式理论。 相似文献
9.
《云南师范大学学报(自然科学版)》2015,(6)
通过对修正的RDP逻辑系统的研究,给出该系统中F(S)关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到. 相似文献
10.
讨论了有限Atanassov直觉模糊逻辑代数,给出判别其子代数的充要条件,并将王国俊教授在逻辑系统W,W^-,Wn中的广义重言式理论推广并用到Atanassov逻辑中,证明了在Atanassov逻辑中不存在绝对重(假)言式,广义重言式不随系统变大而增多和广义重言式前缀(α,β)具有不敏感性。 相似文献
11.
逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质 总被引:2,自引:2,他引:0
研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k 12 次升级算法即可得到重言式 . 相似文献
12.
将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中,讨论了H1逻辑系统中广义重言式理论的语义([a]-MP)规则、语义([a+]-MP)规则,使得对Ha系统中的广义重言式有了更进一步的认识,另外,逻辑系统刀中的广义语义MP规则也成为其中的一个特例。 相似文献
13.
14.
研究了逻辑系统(-W),W,Wk中F(S)的分划问题及其升级算法的一些性质.分别在(-W),W,Wk中利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并证明了:在(-W)(W)中,重言式不可能由对非重言式利用升级算法得到;在Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式. 相似文献
15.
多值逻辑系统中的子代数与广义重言式 总被引:11,自引:0,他引:11
研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn和Wn,讨论了这些系统子代数的特征及计数问题,以及这些系统的广义重言式理论,给出了这些系统子代数的特征性质与计数公式,证明了Ln,Sn,Gn中可达α-重言式类类不空,并探明了它们与经典逻辑系统重言式的关系。 相似文献
16.
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。 相似文献
17.
几种真值集为非线性序集的4值逻辑系统 总被引:3,自引:0,他引:3
黄朝霞 《集美大学学报(自然科学版)》2002,7(2):175-178
介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 . 相似文献
18.
给出了n值Lukasiewicz逻辑系统Ln,n值Goedel逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^*逻辑系统职中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系。 相似文献
19.
罗清君 《聊城大学学报(自然科学版)》2006,19(1):6-8,12
给出了n值Lukasiewicz逻辑系统Ln,n值G6del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^*逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系. 相似文献
20.
基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础. 相似文献