共查询到20条相似文献,搜索用时 0 毫秒
1.
乔希民 《青海师范大学学报(自然科学版)》2013,29(3):1-5
在研究基础R0-代数的基础上.得到了基础R0-代数的一组有趣性质,进而给出了严格化的简洁证明.同时指出了这组性质顺序的相对性,以凸显其应用的广泛性. 相似文献
2.
张群 《中南民族大学学报(自然科学版)》2003,22(2)
构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质. 相似文献
3.
张群 《中南民族大学学报(自然科学版)》2003,(2)
构造了 BCI-代数范畴中一种自然的粘合 ,先前许多作者定义的粘合是这种构造的特殊情况 ,这种构造的自然性表现在 :任一 BCI-代数与 BCK-代数能以此法粘合 ;导出同态的粘合 ;保留两个代数的许多性质 相似文献
4.
周红军 《山东大学学报(理学版)》2012,47(4):110-115
在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。 相似文献
5.
研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质. 相似文献
6.
以ΩM记R0-代数M到R0-单位区间的全体赋值之集. 证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的, 即x≤y当且仅当v∈ΩM, v(x)≤v(y). 然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质. 建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理. 相似文献
7.
张群 《中南民族大学学报(自然科学版)》2003,22(4):71-73
在“BCI-代数与BCK-代数的粘合(I)”一文中构造了BCI-代数范畴中一种自然的方法,使得任一BCI-代数与BCK-代数能以此法粘合.先前许多作者定义的粘合是这种构造的特殊情况.这里说明这种构造保留两个代数的许多性质,并导出同构的粘合.更进一步说明了这种构造的自然性. 相似文献
8.
沈百英 《华东理工大学学报(自然科学版)》1989,(5)
1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。 相似文献
9.
10.
关于R0代数公理系统的简化与独立性的修正 总被引:7,自引:1,他引:7
目的简化R0代数的定义。方法修正并利用《R0代数公理系统的简化与独立性》一文的主要结果来考察R0代数的原始定义及其性质。结果给出了R0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的(弱)R0代数的简化定义已是最简。 相似文献
11.
段景瑶 《兰州理工大学学报》2013,39(1):151-155
在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件. 相似文献
12.
研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系. 相似文献
13.
14.
通过对正则剩余格和WBR0-代数的深入研究, 进一步明确了WBR0-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。 相似文献
15.
谢桑 《南开大学学报(自然科学版)》2022,(2):74-79
介绍了C∞-代数在有理同伦论中的应用.利用C∞-代数本文给出判定空间内蕴正则性的充分必要条件.接着应用此结果证明一些空间是内蕴正则的. 相似文献
16.
R0代数公理系统的简化与独立性 总被引:13,自引:4,他引:13
裴道武 《陕西师范大学学报(自然科学版)》2002,30(3):5-9
研究了一类重要的模糊逻辑代数系统--R0代数,给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系,讨论了R0代数公理系统的简化问题,得到R0代数的两个特征定理,并证明了这两个特下定理中条件的独立性,由此得到R0代数两个独立的公理系统,研究结果表明,R0代数类和弱R0代数类都构成代数簇,即等式代数类,因而这两个代数类关于子代数、同态像以及直积是封闭的。 相似文献
17.
段景瑶 《兰州理工大学学报》2009,35(3)
通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画. 相似文献
18.
19.
朱怡权 《宁夏大学学报(自然科学版)》2009,30(2):105-108
基于R0-代数(BR0-代数)对于模糊命题逻辑系统L*(BL*)的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件.这些结果将有助于对相应的形式逻辑系统与模糊推理的研究. 相似文献
20.
《内蒙古师范大学学报(自然科学版)》2015,(1)
在探讨基础R0-代数与BCI/BCK-代数间相互联系的基础上,比较了基础R0-代数的素滤子与BCI/BCK-代数的真理想间的区别与联系,并对基础R0-代数的商代数与BCI/BCK-代数的商代数作了进一步研究,给出两种模糊逻辑代数结构的内在联系与区别. 相似文献