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