首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 62 毫秒
1.
形式系统T^*(n)的完备性   总被引:1,自引:0,他引:1  
模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到{T^*(n)},使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。  相似文献   

2.
通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.  相似文献   

3.
一阶形式系统K*及其完备性   总被引:5,自引:0,他引:5  
裴道武 《数学年刊A辑》2002,23(6):675-684
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.  相似文献   

4.
通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。  相似文献   

5.
基础L*系统的一种扩张——Lukasiewicz系统   总被引:12,自引:1,他引:11  
研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。  相似文献   

6.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.  相似文献   

7.
王世英 《数学研究》2002,35(2):130-139
设 Sn是那个对称群 .让〈n〉 ={ 1,2 ,… ,n} ,B*表示 Sn中所有对换的集合和 B B* .关于 B的对换图 Wn 被定义为 V(Wn) =〈n〉,E(Wn) ={ [uv]:(uv)∈ B} .如果 Wn是一棵树 ,则这个对换图称为一棵对换树 Tn.Tn 是 Sn 的一个极小生成集 .在这篇文章里 ,我们研究了 Cayley图 Cay(Sn,Tn)的性质 .证明了Cay(Sn,Tn)是 (n - 2 ) -可扩的 ,即 ,Cay(Sn,Tn)的可扩性达到最大 .  相似文献   

8.
IMTL代数是一类重要的非经典逻辑代数,基于IMTL代数的L模糊粗糙集可以刻画信息系统中具有不完备性、模糊性与不可比较性的信息.本文讨论了基于完备IMTL代数的L模糊粗糙集的表示定理,还讨论了此种L模糊粗糙集的上下近似算子的性质以及近似算子的公理化定义方法.  相似文献   

9.
基础R0-代数与基础L*系统   总被引:73,自引:0,他引:73  
吴洪博 《数学进展》2003,32(5):565-576
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数,以及:Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L^*系统的观点,讨论了基础L^*代数与BL代数,基础L^*系统与BL系统之间.的相互关系及相对独立性,讨论了基础L^*系统关于基础风一代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张,最后作为基础R0-代数与基础L^*系统的一个应用,证明了L^*系统关于语义Ωw的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试.  相似文献   

10.
一阶形式系统K~*及其完备性   总被引:2,自引:0,他引:2  
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.  相似文献   

11.
系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统.本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础.  相似文献   

12.
扰动模糊命题逻辑系统中的广义重言式   总被引:1,自引:1,他引:0  
通过定义二维R0-蕴涵算子,将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中,证明了这一系统中(μ,δ)-重言式就是某个(λ,1-λ)-重言式,最终获得与一维线性赋值格上完全相应的广义重言式分类。  相似文献   

13.
建立一种基于FI-代数的模糊命题演算的形式演绎系统.并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中.以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。  相似文献   

14.
STABILITY OF THE RAREFACTION WAVE FOR THE GENERALIZED KDV-BURGERS EQUATION   总被引:3,自引:2,他引:1  
This paper is concerned with the stability of the rarefaction wave for the generalized KdV-Burgers equationRoughly speaking, under the assumption that u_ < u+, the solution u(x,t) to Cauchy problem (1) satisfying sup \u(x,t) -uR(x/t)| -0 as t - , where uR(x/t) is the rarefac-tion wave of the non- viscous Burgers equation ut + f(u)x=0 with Riemann initial data  相似文献   

15.
16.
介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。  相似文献   

17.
《Quaestiones Mathematicae》2013,36(2):241-256
Abstract

Given a C*-algebra A and a suitable set of derivations on A, we consider the algebras A n of n-differentiable elements of A as described in [B], before passing to an analysis of important classes of bounded linear maps between two such spaces. We show that even in this general framework, all the main features of the theory for the case C(m)(U)C (p) (V) where U and V are open balls in suitable Banach spaces, are preserved (see for example [A-G-L], [Gu-L], [Ja] and [L]). As part of the theory developed we obtain a non-trivial extension of the Kleinecke-Shirokov theorem in the category of C*-algebras to unbounded partially defined *-derivations. This indicates the existence of a single mathematical principle governing both the non-increasibility of differentiability by continuous homomorphisms and the untenability of the Heisenberg Uncertainty Principle for bounded observables.  相似文献   

18.
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、~和~的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统MFN,并证明了MPN与MP*、MFN与MF*的表达能力等价。MFN将为进一步讨论不完全信息数据库作准备  相似文献   

19.
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、~和  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号