首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。  相似文献   

2.
给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统(S,+,·,-)与Boole代数系统(B,+,·,-)同态,进而得到了(S,+,·,-)与(B,+,·,-)同构的性质,并给予逻辑证明,也举例说明了两个代数系统同态、同构应具备的条件,从而更加完善了Boole代数系统理论.  相似文献   

3.
在WBR_0-代数中引入了蕴涵式条件(Imp)和可分解性条件(Dis),证明了在WBR_0-代数中这两个条件等价。引入了(正定)关联WBR_0-代数概念,并证明了满足(Imp)条件的WBR_0-代数与(正定)关联BR0-代数等价。我们也证明了蕴涵式WBR_0-代数与Boole代数等价,由此获得了WBR_0-代数成为Boole代数的四个充要条件。  相似文献   

4.
DR0代数:由De Morgan代数导出的正则剩余格   总被引:3,自引:0,他引:3  
首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R0蕴涵拓广到De Morgan代数上,称为广义R0蕴涵;证明了添加广义凰蕴涵和相应 算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数,并由此引入D‰代数的概念.接着,研究了DR0代数与‰代数的关系,证明了以下结论:Boole代数是DR0代数;全序DR0代数和全序R0代数等价;DR0代数是R0代数当且仅当它满足预线性条件;无中点的DR0代数是BL代数当且仅当它是Boole代数.最后,举例说明了非D兄D代数的RD代数、以及非R0代数的DR0代数都是存在的.  相似文献   

5.
在现有的基于中点与真布尔元对R0代数进行分类讨论的基础上,提出了R0代数的根的概念,并通过研究根的若干重要性质给出了含真布尔元的R0代数结构特征的一个精细刻画,从而完全解决了这类R0代数的结构问题.  相似文献   

6.
在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性.  相似文献   

7.
R0-代数滤子的粗糙性   总被引:1,自引:0,他引:1  
把粗糙集理论应用于R0-代数,引入了R0-代数的上、下粗糙滤子的概念,并讨论了R0-代数的粗糙滤子的相关性质.  相似文献   

8.
分两种情况讨论了分配格与有限代数的同余关系格同构的问题,给出判断分配格的充分必要条件,证明了两个结论:有限分配格是Boole格和具有可数个元的分配格的同余关系格是Boole格.  相似文献   

9.
该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.  相似文献   

10.
在N-半单代数的中心幂等元构成的集合G(R)中引入了"→、*、、Θ"运算和一个二元关系"≤",证明"≤"构成G(R)上的偏序关系,和Θ分别是偏序集(G(R),≤)上的上确界运算和下确界运算;进而证明了(G(R),,Θ,→,1,0)是剩余格。在此基础上得到了N-半单代数可以构成与M TL代数,BL代数,G-代数,G oguen代数,BR0-代数和R0-代数等价的代数系统,从而将模糊逻辑与结合代数有机地结合起来。  相似文献   

11.
非全序R0代数的结构   总被引:4,自引:0,他引:4  
通过考察非全序R0代数的序结构,分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件,对R0代数的结构给出一个清晰的描述.  相似文献   

12.
在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。  相似文献   

13.
R_0-代数[0,1]的子代数与广义重言式   总被引:12,自引:1,他引:11  
王龙春  王国俊 《数学学报》2004,47(3):521-526
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。  相似文献   

14.
张小红 《数学学报》2007,50(2):421-442
首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理.其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性.最后说明了PR_0t-模及PL~*系统可能的应用方向.  相似文献   

15.
首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理.其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性.最后说明了PR_0t-模及PL~*系统可能的应用方向.  相似文献   

16.
R_0代数中素滤子的拓扑性质   总被引:6,自引:1,他引:5  
罗清君 《数学学报》2008,51(4):795-802
首先讨论了R_0代数M中MP滤子、素滤子的基本性质,然后通过自然的方式在M的全体素滤子之集PF_(IL)(M)上构造拓扑,证明了PF_(IL)(M)是紧致的T_0空间.最后把PF_(IL)(M)上的拓扑限制在M的全体极大滤子之集MF_(IL)(M)上,得到MF_(IL)(M)是紧致的Hausdorff空间.  相似文献   

17.
强Ockham代数与剩余格   总被引:1,自引:1,他引:0  
首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质.然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数.最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的.  相似文献   

18.
研究一类具有预防接种免疫力的双线性传染率 SIR流行病模型全局稳定性 ,找到了决定疾病灭绝和持续生存的阈值——基本再生数 R0 .当 R0 ≤ 1时 ,仅存在无病平衡态 E0 ;当 R0 >1时 ,存在唯一的地方病平衡态 E* 和无病平衡态 E0 .利用 Hurwitz判据及 Liapunov-Lasalle不变集原理可以得知 :当 R0 <1时 ,无病平衡态 E0 全局渐近稳定 ;当 R0 >1时 ,地方病平衡态 E*全局渐近稳定 ,无病平衡态 E0 不稳定 ;当 R0 =1时 ,计算机数值模拟结果显示 ,无病平衡态 E0 有可能是稳定的  相似文献   

19.
The dynamics of a single strain HIV model is studied.The basic reproduction number R_0 used as a bifurcation parameter shows that the system undergoes transcritical and saddle-node bifurcations.The usual threshold unit value of R_0 does not completely determine the eradication of the disease in an HIV infected person.In particular,a sub-threshold value R_C is established which determines the system's number of endemic states:multiple if R_c Ro 1,only one if R_C = R_0 = 1,and none if R_0 R_C 1.  相似文献   

20.
提出了具有饱和发生率和免疫响应的病毒感染数学模型,得到了基本再生数R_0的表达式.当R_01时,证明了无病平衡点是全局渐近稳定的;当R_01时,得到了免疫耗竭平衡点和持续带毒平衡点局部渐近稳定的条件.  相似文献   

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

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