Lukasiewiczlz p＋1值逻辑系统中VDF问题的解决

为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题.     

Boole代数上的度量结构及其在命题逻辑中的应用

设B是一个Boole代数, Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念,并由此在B上建立了度量结构.作为应用,本文改进了新近提出的命题逻辑中的近似推理理论.     

关于Scott拓扑存在开滤子拓扑基的分配备格

本文利用引入的ＫＳ性质,刻划了那些其Ｓｃｏｔｔ拓扑可由开滤子生成的分配备格,该结果也是对［１］中一公开问题的一种解答．本文的刻划定理对于判定分配备格的Ｓｃｏｔｔ拓扑是否与Ｓｃｏｔｔ开滤子拓扑一致具有较强的可操作性,应用该刻划定理给出大量非连续格,其Ｓｃｏｔｔ拓扑具有开滤子基．     

哈密尔顿与四元数

复数自16世纪出现之后，很长一段时间人们认为它只是代数上虚构的量，而不是真正意义上的数。直到18世纪末19世纪初的时候，数学家韦塞尔、阿尔冈和高斯分别用复数来表示平面上的点和向量后，复数才渐渐被人们承认，在对复数的性质有了一定认识后，人们很自然会有这样的想法，会不会有表示空间中的点或向量的复数类似物呢？     

Lukasiewicz p+1值逻辑系统中VDF问题的解决

为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题.