首页 | 本学科首页   官方微博 | 高级检索  
    检索          
共有20条相似文献,以下是第1-20项 搜索用时 156 毫秒

1.  关于PFI-代数与剩余格  被引次数:8
   朱怡权  曹喜望《数学进展》,2006年第35卷第2期
   本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究.    

2.  关于正则余剩余格与对合BCK-格  
   朱怡权《模糊系统与数学》,2010年第24卷第1期
   进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。    

3.  强正则剩余格值逻辑系统(L)N及其完备性  
   裴道武《数学学报》,2002年第45卷第4期
   正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.    

4.  强正则剩余格值逻辑系统L~N及其完备性  被引次数:7
   裴道武《数学学报》,2002年第45卷第4期
   正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.    

5.  Fuzzy蕴涵代数与MV代数  被引次数:51
   刘练珍 王国俊《模糊系统与数学》,1998年第12卷第1期
   本文讨论Fuzzy蕴涵代数与MV代数之间的关系,并证明了在一定的条件下Fuzzy蕴函代数是剩余格。    

6.  Fuzzy蕴涵代数  被引次数:123
   吴望名《模糊系统与数学》,1990年第4卷第1期
   本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。    

7.  粗糙集代数中的剩余格结构  被引次数:1
   陈子春  秦克云《模糊系统与数学》,2008年第22卷第4期
   讨论粗糙集代数与剩余格的关系.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为剩余格,并进而证明了粗糙集代数也是MV代数与R0代数.    

8.  MTL代数的特征定理  被引次数:2
   裴道武《数学学报》,2007年第50卷第6期
   对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.    

9.  预线性与对合非结合剩余格  
   梁聪  张小红《模糊系统与数学》,2012年第26卷第3期
   非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。    

10.  正则剩余格的(α,β),(■,■∨),(∈,∈∨q_(λ,μ))-模糊理想  
   刘银萍《模糊系统与数学》,2018年第1期
   在正则剩余格上引入(α,β)-模糊理想的概念,讨论了它们的一些特征及其间的关系;与(∈,∈∨q)-模糊理想对应地研究了(■,■∨)-模糊理想的性质;最后将正则剩余格的(α,β)-模糊理想作进一步推广,得到有限个(λ,μ)-模糊理想的交集仍然是(λ,μ)-模糊理想,并刻画了(λ,μ),(∈,∈∨q_(λ,μ))-模糊理想的性质。    

11.  MV代数定义的蕴涵简化形式  
   刘敏  吴洪博《模糊系统与数学》,2006年第20卷第6期
   通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。    

12.  基于剩余格理论的P-有界分配格的理想集代数  
   李小杰  刘军  吴洪博《模糊系统与数学》,2009年第23卷第5期
   讨论P-有界分配格的理想集代数与剩余格的关系.证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩余格.定义了生成理想,并借助格论上的原子定义了P-有界分配格,然后讨论了它的一些性质,得到了一些好的结论.最后证明了P-有界分配格的理想集代数也是MV代数与R0代数.    

13.  剩余交换律与剩余交半格及其相关性质  
   李娇娇  吴洪博《模糊系统与数学》,2019年第1期
   首先,给出了剩余交半格的概念,通过对其性质的研究,证明了剩余交半格中的所有正则元构成的集合是交半格,并举例说明了剩余交半格中的所有正则元构成的集合不是剩余交半格;其次,证明了满足剩余交换律:x?(x→y)=y?(y→x)的正则剩余交半格是Wajsberg代数;最后,由剩余交换律:x?(x→y)=y?(y→x)得出了L是满足剩余交换律的MTL代数当且仅当L是BL代数。    

14.  否定非对合剩余格上基于正规模糊理想的一致拓扑空间  
   刘春辉《高校应用数学学报(A辑)》,2019年第2期
   拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.    

15.  格值命题逻辑系统L(X)(I)  被引次数:4
   秦克云 徐扬《模糊系统与数学》,1997年第11卷第4期
   本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统L(X),并讨论了它的语义问题。    

16.  幂等剩余格  
   任兰  张小红《模糊系统与数学》,2011年第25卷第3期
   研究一种特殊的剩余格——幂等剩余格,证明满足幂等性的一般剩余格必是可换剩余格,即不存在非可换的幂等剩余格。讨论幂等剩余格的基本性质以及与各类特殊剩余格之间的关系。在一般剩余格中引入psG-滤子的概念,给出其一组等价条件,并借助psG-滤子刻画幂等剩余格的特征。    

17.  一般代数对象的挠理论  
   任艳丽  王尧《纯粹数学与应用数学》,2002年第18卷第4期
   1993年Puczylowski在用公理系统构造的其中元素称为代数的对象类中建立了根与半单类的一般理论。本文的目的是在这种最具广泛性的代数系统中讨论挠理论,用格论方法给出它的一些特征刻划。    

18.  伪对合剩余格(非可换)与伪效应代数  
   张小红  樊雪双《模糊系统与数学》,2010年第24卷第1期
   提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。    

19.  剩余格上的L滤子  
   《模糊系统与数学》,2014年第3期
   剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。    

20.  强Ockham代数与剩余格  被引次数:1
   张隆传  张小红《纯粹数学与应用数学》,2010年第26卷第1期
   首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质.然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数.最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的.    

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

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