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

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

一类(L)ukasiewicz n+1值逻辑系统中VDF问题的求解理论

为在经典逻辑学中建立Fuzzy分离规则的推理模式，由赋值决定公式问题（简称VDF问题）已经提出，并已在二值命题逻辑L和p＋1（p为素数）值Lukasiewicz命题逻辑中得到了解决，但是对一般的n＋1（n〉3且n不是素数）值Lukasiewicz命题逻辑系统L（n＋1），VDF问题相当复杂且尚未解决．本文尝试在一类特殊的n＋1值Lukasiewicz命题逻辑系统L（n＋1），即L（n＋1）的赋值域W（n＋1）的所有子代数在包含序下构成一个链中建立VDF问题的求解理论，并完满地解决了这类n＋1值Lukasiewicz命题逻辑系统L（n＋1）中的VDF问题．     

代数体函数及其微分多项式

本文证明了v值代表体函数w的微分多项式p(w)是-λ(1<λ相似文献   

系统L_n中公式相对于有限理论的Г-绝对真度理论

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.     

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

Diffeomorphism classification of smooth weighted complete intersections

Xn(d1, . . . , dr-1, dr; w) and Xn(e1, . . . , er-1, dr; w) are two complex odd-dimensional smooth weighted complete intersections defined in a smooth weighted hypersurface Xn+r-1(dr; w). We prove that they are diffeomorphic if and only if they have the same total degree d, the Pontrjagin classes and the Euler characteristic, under the following assumptions: the weights w = (ω0, . . . , ωn+r) are pairwise relatively prime and odd, νp(d/dr) ≥ 2n+1/ 2(p-1) + 1 for all primes p with p(p-1) ≤ n + 1, where νp(d/dr) satisfies d/dr =Ⅱp prime pνp (d/dr).     

系统Ln中公式相对于有限理论的Γ-绝对真度理论

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.     

命题逻辑系统中理论的发散度与近似推理的若干性质

基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理，获得了用Г中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。     

同一命题不同呈现

命题两个能够完全重合的图形,若有部分重合,则每个图形上不重合的部分的数量(线段的长度、角的度数、图形的面积)是相等的.简证因为两个图形能够完全重合,所以令两个图形的数量均为w,令重合部分的数量为p,两个图形上不重合部分的数量分别为q1和q2,∵p +q1 =w,p+q2=w,∴p+q1 =p+q2.∴q1=q2.问题得证.     

多值命题逻辑中逻辑理论的拓扑刻画

基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。