共查询到15条相似文献,搜索用时 46 毫秒
1.
2.
讨论了有限Atanassov直觉模糊逻辑代数,给出判别其子代数的充要条件,并将王国俊教授在逻辑系统W,W^-,Wn中的广义重言式理论推广并用到Atanassov逻辑中,证明了在Atanassov逻辑中不存在绝对重(假)言式,广义重言式不随系统变大而增多和广义重言式前缀(α,β)具有不敏感性。 相似文献
3.
Lukasiewicz系统中的广义重言式理论 总被引:18,自引:1,他引:17
引入了一类特殊的公式序列AK(K=1,2,...)从而证明了在Lukasiewicz系统中广义重言式有更加精细的区分,即在连续值或有理值的情形下对任意真值α和β,并给出了广义重言式的关系定理,即对任意真值α,α-T(L)=β〈α,β∈(L)β-T(L)。 相似文献
4.
有限扰动模糊逻辑代数及其广义重言式 总被引:8,自引:0,他引:8
讨论了有限扰动模糊逻辑代数,给出了判别其子代数的充要条件:将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中,证明了在I^2n中不存在(1,0)-重言式,广义重言不随系统的增大而增多,广义重言式前缀是不灵敏的。 相似文献
5.
Lukasiewicz区间值命题逻辑的广义重言式 总被引:1,自引:0,他引:1
给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立. 相似文献
6.
有限区间值模糊逻辑代数及其广义重言式 总被引:4,自引:0,他引:4
讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性 相似文献
7.
Lukasiewicz系统中的广义重言式理论 总被引:8,自引:3,他引:5
引入了一类特殊的公式序列Ak(k=1,2,…),从而证明了在Lukasiewicz系统中广义重言式有更加精细的区分,即在连续值或有理值的情形下对任意真值α和β,若α≠β,则有α-T(L)≠β-T(L).并给出了广义重言式的关系定理,即对任意真值α,α-T(L)=∩β<α,β∈(L)β-T(L). 相似文献
8.
多值逻辑系统中的子代数与广义重言式 总被引:7,自引:0,他引:7
裴道武 《陕西师范大学学报(自然科学版)》2000,28(2)
研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 . 相似文献
9.
10.
指出了Cialdea一阶模态逻辑归结系统是不完备的.为了确保推理系统的完备性,给出了Cialdea系统的两种修正方法. 相似文献
11.
SUI Yun-yun 《渝西学院学报(自然科学版)》2008,(5)
讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件. 相似文献
12.
从篇章的角度来观察汉语同语式的特点,主要分析了同语式在篇章中的语境限制及与前后话语之间的语义联系。初步观察到比评性同语式在篇章中可以单用,也可以几个结构连用;可以独立成句,也可以作分句,还可以作句子成分。语义上,该结构或作始发句提出话题,或作后续句对前文进行评议性总结,或者承前启后即总结上文,同时提出供进一步解释的观点。 相似文献
13.
“同语式”是英汉语言中的一种特殊反复形式——主语和表语同语反复。表语是对主语的一种隐含的、带有明显主观色彩的说明和解释。形似简单的“同语式”结构具有丰富的语用内涵和重要的修辞意义。相对而言,英语“同语式”的构成受到语法因素的制约,结构单一,表现力不及汉语。 相似文献
14.
研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Robinson的传统消解方法更高的效率.以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性 相似文献
15.
任培红 《湖北三峡学院学报》2008,(3):96-98
名词性同语是言语交际中有趣的语言现象。它看似一个毫无意义的形式,却蕴含了复杂的意义内容。其隐含意义是可以推导的,而且这种含意的产生表明了语言运用的认知过程。其推导机制可以用心理认知的一些概念理论来加以阐释,其中最主要的是转喻映射、范畴化以及心理空间映射。 相似文献