排序方式: 共有7条查询结果,搜索用时 171 毫秒
1
1.
2.
3.
积逻辑系统中的广义重言式 总被引:15,自引:2,他引:13
讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。 相似文献
4.
参数Kleene系统中的广义重言式 总被引:81,自引:13,他引:68
引入新的一组带对数p(p∈「0,1」的t-范∧p,t-余范∨p和蕴涵θp,讨论它们的基本性质。在此基础上参数Kleene系统Kp与三值Kleene系统K3,三值Lukasiewicz系统L3和经典二值系统B2关于(广义)重言式的相互关系,指出系统Kp对广义重言式而言是可判定的。 相似文献
5.
首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数a∈[0,1],可达α-重言式集是类类非空的,并同时给出了修正的Product逻辑系统中广义重言式的升级算法。 相似文献
6.
区间值模糊命题逻辑系统的广义恒真式 总被引:5,自引:1,他引:4
建立区间值模糊命题逻辑系统F(∨,∧,σ┴,c),其中,α^-θ┴b=(α^-)^c┴b^-,┴是I[0,1]中的t-余范;讨论系统F(∨,∧,σ┴,c)与对应的模糊命题逻辑系统F(∨,∧,σ┴,c)在广义恒真式方面的相互关系,得到定理:T^-[0,α](F^-∨,∧,σ┴,c)=Tα(F(∨,∧,σ┴,c))。 相似文献
7.
1