Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性     

名词性同语含意的认知推理

名词性同语是言语交际中有趣的语言现象。它看似一个毫无意义的形式，却蕴含了复杂的意义内容。其隐含意义是可以推导的，而且这种含意的产生表明了语言运用的认知过程。其推导机制可以用心理认知的一些概念理论来加以阐释，其中最主要的是转喻映射、范畴化以及心理空间映射。     

Tautology and its Prototype Account

Tautology a type of interesting language phenomenon existing in many languages.It has its particular characteristics of syntax and semantics.In recent years,it has aroused great attention both home and abroad.This paper first reviews the syntactic and semantic approaches to the study of it and then analyzes tautological utterances from the aspect of cognition in the theory of prototype.Based on the prototypical construction"X is X",it comes to the conclusion that the interpretation of tautology can be attributed to the cognitive process in which an entity is categorized by people.     

重言与哲学

自亚里士多德以后,逻各斯逐渐被演绎成一种外在判断理论,这是一种"只讨论断言为假或真的叙述模式",内容的有效性是其主要的理论标准,据此,重言式被看作是结果空洞或实质空洞的判断形式而遭到拒斥。逻辑哲学通过对于重言式的重新解读赋予其前所未有的重要地位,而生存论哲学则使重言式具有了相应的生存论形式(重言状态),使重言式摆脱了此前的外在判断形式,回到了逻各斯的存在意义。实际上,重言式是更深层次的重言问题的一方面内容,重言的本质是抽象同一性,它是事物的内限,它与事物的外限(矛盾性)共同构成了事物存在和发展的基本要素。     

多值逻辑系统中的子代数与广义重言式

研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 .     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

Lukasiewicz多值逻辑系统中的相似度及伪距离

逻辑度量空间是近似推理的重要框架。文中在文献中提出的公式集F(S)上相似度的基础上给出了另外两种相似度，讨论了其性质，证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质，并得到了3种伪距离的比例关系，为推理程度的数值化提供了依据。     

参数Kleene系统的可靠性定理

介绍了参数Kleene系统和参数Kleene系统的三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.     

几种真值集为非线性序集的4值逻辑系统

介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 .