将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G(o^)del逻辑系统中,讨论了G(o^)del逻辑系统中广义重言式理论的语......

研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]......

论文对泛逻辑的广义重言式理论进行研究，给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有：在泛逻辑的中极形式系......

将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α＋]-MP......

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于Goedel逻辑系统中，讨论了Goedel逻辑系统中广义重言式理论的语义([α......

基于一类带参数a的[0，1]上的t-模＊。及与之伴随的蕴涵算子Ha（0≤a≤1）所建立的多值逻辑系统Ha，研究了当α=1/2时的多值逻辑系统H1/2．以H1......

将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中，讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP......

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F（S）的一个分划,建立了修正......