排序方式: 共有53条查询结果,搜索用时 15 毫秒
1.
Lukasiewicz区间值命题逻辑的广义重言式 总被引:1,自引:0,他引:1
给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立. 相似文献
2.
有限区间值模糊逻辑代数及其广义重言式 总被引:4,自引:0,他引:4
讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性 相似文献
3.
4.
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。 相似文献
5.
从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。 相似文献
6.
《山东大学学报(理学版)》2009,44(8):80-85
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M?uk,然后 将其赋值格离散化研究了多值模态逻辑系统M?n;证明了在M?n中,对任一可能的赋值α 都存在可达α 重言式;在M?uk中对任一有理数α∈[0,1]都存在可达α重言式;指出了在R0系统中起关键作用的升级算法对M?n系统已不再适用,并分析了其原因。 相似文献
7.
通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2(n+1)^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法. 相似文献
8.
9.
建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑,并对这种逻辑进行了语义方面的研究,获得若干结果。特别是,在这种逻辑中笔者发现α-HS规则和α-MP规则对每个α都无条件地成立。 相似文献
10.
Lukasiewicz系统中的广义重言式理论 总被引:8,自引:3,他引:5
引入了一类特殊的公式序列Ak(k=1,2,…),从而证明了在Lukasiewicz系统中广义重言式有更加精细的区分,即在连续值或有理值的情形下对任意真值α和β,若α≠β,则有α-T(L)≠β-T(L).并给出了广义重言式的关系定理,即对任意真值α,α-T(L)=∩β<α,β∈(L)β-T(L). 相似文献