共查询到20条相似文献,搜索用时 156 毫秒
1.
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。 相似文献
2.
3.
引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系. 相似文献
4.
林源洪 《漳州师范学院学报》2004,17(3):18-20
本文引入离散型BCK-代数概念,并探讨它与原子生成的BCK--4代数、正关联BCK-代数、交换BCK-代数之间的关系及其自身的一些代数性质. 相似文献
5.
研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质,得到形式系统Y^*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合BCK-代数,并给出关于R0-代数的一个重要反例,说明了R0-代数中V与→是各自独立的. 相似文献
6.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的. 相似文献
7.
关于对合BCK-代数和可交换BCK-代数的一点注记 总被引:1,自引:0,他引:1
在本文中主要给出了对合BCK-代数的一些性质,讨论了有界可交换的BCK-代数和对合BCK-代数之间的关系,最后给出了一个对合的BCK-格就是一个可分配的BCK-格的重要结论,这将对BCK-代数的进一步研究有很大帮助。 相似文献
8.
我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义: 相似文献
9.
10.
本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。 相似文献
11.
为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价. 相似文献
12.
刘修生 《山东大学学报(理学版)》2006,41(5):84-86
R上无限维交换代数.研究了C[a,b]上面的半范数Np(f(x))=[∫ba|f(x)|pdx]1p(0<p<∞)与半模N∞(f(x))=maxaxb[|f(x)|]的关系,通过这种关系证明了Np(f(x))对0<p<∞不是C[a,b]上的稳定半范数.给出了C[a,b]上不是连续半模的一个实例. 相似文献
13.
乔占科 《兰州理工大学学报》2004,30(6):137-138
研究了半环上的同余关系.分别给出了加法交换半环,乘法交换分配半环,加法交换分配半环及交换半环上的同余的刻画,证明了正则半环上半格同余的幂等元同余类是正则子半环.部分结果是已有结论的改进. 相似文献
14.
在BR0- 代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。 相似文献
15.
在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。 相似文献
16.
赵礼峰 《淮北煤炭师范学院学报(自然科学版)》1996,(1)
本文利用解析不等式主要证明了对m个(m≥2)半正定自共轭四元数矩阵A1,A2,…,Am,有如下结论:(i)若A1,A2,…Am两两可换,则其中ai>0i=1,2…,m且。(ii)对任何实数p>1有 相似文献
17.
给出BCK-代数的L-fuzzy子代数和L-fuzzy理想等概念的新的等价刻画。 相似文献
18.
白根柱 《内蒙古师范大学学报(自然科学版)》1995,(4)
非可换正定关联BCK-代数白根柱(内蒙古民族师范学院数学系)我们在文[3]中证明了正定关联BCK-代数的Iseki扩张是正定关联BCK-代数,本文对关联BCK-代数的Iseki扩张进行探讨。为便于叙述先给出几个定义 ̄[1,2]。定义1设X=<X;0>... 相似文献
19.
《河南师范大学学报(自然科学版)》2016,(3):7-13
在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质. 相似文献
20.
文章继文(1)进一步讨论了导数新定义间相互联系,特别当f(x)为U(x0)内有界可测函数的条件下,证明了定义5真包含定义2,并由引理给出了Riemann上、下积分与Lebesgue积分之间的关系。 相似文献