格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

格蕴含代数与有界交换BCK-代数

证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的。     

Hilbert代数与BCK-代数

引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系.     

离散型BCK-代数

本文引入离散型BCK-代数概念,并探讨它与原子生成的BCK--4代数、正关联BCK-代数、交换BCK-代数之间的关系及其自身的一些代数性质.     

关于形式系统Y^＊及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的．     

伪BR0代数及其性质

文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的.     

关于对合BCK-代数和可交换BCK-代数的一点注记

在本文中主要给出了对合BCK-代数的一些性质,讨论了有界可交换的BCK-代数和对合BCK-代数之间的关系,最后给出了一个对合的BCK-格就是一个可分配的BCK-格的重要结论,这将对BCK-代数的进一步研究有很大帮助。     

关于BCI—代数和BCH—代数并代数的一些注记

我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义:     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

C［a,b］上半范数的两个问题

R上无限维交换代数．研究了C［a,b］上面的半范数Np(f(x))=［∫ba|f(x)|pdx］1p(0＜p＜∞)与半模N∞(f(x))=maxaxb［|f(x)|］的关系，通过这种关系证明了Np(f(x))对0＜p＜∞不是C［a,b］上的稳定半范数．给出了C［a,b］上不是连续半模的一个实例．     

关于一类半环上的同余

研究了半环上的同余关系.分别给出了加法交换半环,乘法交换分配半环,加法交换分配半环及交换半环上的同余的刻画,证明了正则半环上半格同余的幂等元同余类是正则子半环.部分结果是已有结论的改进.     

BR0-分配性及其推广

在BR₀- 代数结构中,_BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR₀-分配性的剩余格同样具备十分良好的性质。首先将BR₀-分配性引入到剩余格中,并给出了BR₀-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR₀-第一无限分配性和BR₀-第二无限分配性。最后,分别在正则完备剩余格,单位区间［0,1］中讨论了两种BR₀-无限分配性的关系及性质。     

BR_0-分配性及其推广

在BR0-代数结构中,BR0-分配性a→b∨c=（a→b）∨（a→c）具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。     

自共轭四元数矩阵迹不等式的推广

本文利用解析不等式主要证明了对ｍ个（ｍ≥２）半正定自共轭四元数矩阵Ａ１，Ａ２，…，Ａｍ，有如下结论：（ｉ）若Ａ１，Ａ２，…Ａｍ两两可换，则其中ａｉ＞０ｉ＝１，２…，ｍ且。（ｉｉ）对任何实数ｐ＞１有     

BCK-代数的L-fuzzy理想的新刻画

给出BCK-代数的L-fuzzy子代数和L-fuzzy理想等概念的新的等价刻画。     

非可换正定关联BCK－代数

非可换正定关联ＢＣＫ－代数白根柱（内蒙古民族师范学院数学系）我们在文［３］中证明了正定关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张是正定关联ＢＣＫ－代数，本文对关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张进行探讨。为便于叙述先给出几个定义￣［１，２］。定义１设Ｘ＝＜Ｘ；０＞...     

PBR_0代数的性质及其滤子

在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质.     

导数新定义间相互关系的进一步研究

文章继文（1）进一步讨论了导数新定义间相互联系,特别当f(x)为U(x0)内有界可测函数的条件下,证明了定义5真包含定义2,并由引理给出了Riemann上、下积分与Lebesgue积分之间的关系。