广义重言式相关论文
本文的研究来源于河南省自然科学基金项目(NO.0611053900)“区间逻辑的柔性化理论研究”和河南省重点科技攻关项目(NO.09210221014......
本文提出了扰动模糊命题的概念,定义了扰动模糊命题运算.首先以S-蕴涵算子为基础从有限扰动模糊命题逻辑出发,讨论其逻辑代数及广......
本文将Atanassov直觉主义逻辑中S-型蕴涵改为R-蕴涵,建立修正的Atanassov逻辑系统,给出其中的广义重言式和部分赋值的广义重言式的......
本文首先从有限区间值模糊命题逻辑出发,讨论其逻辑代数及广义重言式的性质;通过将S-型蕴涵修改为R-蕴涵,找出区间值模糊命题逻辑I......
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。本文首先讨论了广义泛代数理论，给出了变......
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R0-代数[0,1]的各类无限子R0-代数中的广义重言式,证明了在子R0-代数E2中......
将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G(o^)del逻辑系统中,讨论了G(o^)del逻辑系统中广义重言式理论的语......
研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]......
将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾......
研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重......
将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言......
期刊
将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义......
期刊
本文对参数Kleene系统Kp=([0,1],∧,∨,θp,→)(p∈[0,1])中的运算∧,∨进行了程度化,得到了系统Ip=([0,1],∧p,∨ p,θp,→)(p∈[......
论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有：在泛逻辑的中极形式系......
将多值逻辑系统巩（0≤α≤1）中的广义重言式理论进行推广，讨论其序稠密子代数的广义重言式理论，利用可达广义重言式概念在系统H1/2上的......
给出一个新区间值的定义，在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义．同时由一类特殊的公式序列Ak,k=1，2......
首先讨论广义泛代数理论，引入变维运算和广义型的概念，并进而给出了广义泛代数的定义．随后，给出模糊模态命题逻辑的概念，并定义了模糊模......
通过将粗糙逻辑模糊化，建立了模糊粗糙逻辑系统WR．然后在该系统中定义了模糊粗糙命题的运算，给出了该系统的语义及其广义重言式的概念......
介绍了参数Kleene系统及其三-I算法,并讨论了它们随参数值的变化。把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数......
将修正的Kleene逻辑系统中语义HS规则推广后应用于玩逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α^＋]-Hs等规则......
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一......
将Godel辑系统中的广义重言式理论进行推广，讨论了一类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的标准子代数E0......
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α＋]-MP......
将RDP逻辑系统中的广义重言式理论进行推广，给出RDP逻辑系统中子代数的广义重言式概念，并讨论其序稠密子代数的广义重言式理论......
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse......
通过对修正的RDP逻辑系统的研究,给出该系统中F（S）关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性......
引入新的一组带对数ｐ（ｐ∈「０，１」的ｔ－范∧ｐ，ｔ－余范∨ｐ和蕴涵θｐ，讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３，三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广......
介绍了参数K leene系统和参数K leene系统的三-I算法,并将它们在运算方法随参数值的变化进行比较.把K leene系统三-I算法归入到逻......
引入了(W-)的正则子R0代数的概念,证明了这种代数在W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为W中的α-重言式时,可......
考察了形式系统(L)*完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于(L)*系统强完备性证明中的错误并......
引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理......
讨论积逻辑系统中的广义重言式理论,给出积逻辑系统中子代数和广义重言式的一系列性质.本文的主要结果表明,在几个重要的逻辑系统......
首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任......
运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统中的广义重言式理论推广到IR中,得到类似的结果.由此......
基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额......
着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了......
将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中，讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP......
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在^-Gr的序稠密子代数中给出公式集F（S）的一......
对泛逻辑的广义重言式理论进行了研究，给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有：当c∈[0.75,1]时,关于Ih=c而言......
将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在矿的序稠密子......
对Goedel逻辑系统中的广义重言式理论进行推广，讨论了RG-代数的各类无限子代数上的广义重言式，证明了在子RG-代数中，Goedel逻辑系统中......
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S......
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种......
将S-型蕴涵算子改为R0-蕴涵算子,从而找到区间值模糊逻辑I[0,1]的一个最大子代数IQ,进而将王国俊教授在逻辑系统W中的广义重言式理......
讨论了有限扰动模糊逻辑代数,给出了判别其子代数的充要条件:将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模......
讨论了有限区间值模糊逻辑代数,给出了判别其子代数的充要条件;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区......
讨论了有限Atanassov直觉模糊逻辑代数,给出判别其子代数的充要条件;并将王国俊教授在逻辑系统W,W,Wn中的广义重言式理论推广并用......
讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分......
