基础R0-代数与BCI/BCK-代数的关系（Ⅰ）

讨论了基础模糊命题演算形式演绎系统L*相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.     

BR0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.     

关于BCK-代数的次伪赋值

本文介绍了BCK-代数的次伪赋值的概念和性质.我们研究了次伪赋值和理想之间的联系.我们使用次伪赋值定义关于BCK-代数的次伪度量并且用此证明诱导同余关系.我们通过这种关系定义了商代数并证明了它也是一个BCK-代数.     

关于关联BCK-代数

本文建立了有限初始段关联BCK-代数与无限初始段关联BCK-代数的概念。获得三个主要结果:任一有限初始段关联BCK-代数与的某一子代数同构;对任一关联BCK-代数,规定X_0={x|x∈X,A(x)是有限集},则X_0是X的理想;当X_0是有限集且X_0≠X时,商代数X/X_0是无限初始段关联BCK-代数。     

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

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

R0代数的一种新型商代数

目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系,得到R0代数的商代数。结果这种商代数是有界分配格。结论这种商代数成为R0代数的充分条件是对其中任意的a都有■a∨a=1。     

L-BCK代数与L′-BCK代数的一些性质

A.Grzaslewicz为了确定BCK-代数嵌入定向可换BCK-代数的必要条件,于1980年提出了Γ-BCK代数的概念,并证明了正关联BCX-代数,定向可换BCK-代数是Γ-BCK代数(见〔1〕).我们为了寻求比正关联BCK-代数,定向可换BCK-代数更为广泛的Γ-BCK代数,在〔2〕中建立了L-BCK代数与L＇-DCK代数的概念,证明了这两种BCK-代数都是Γ-BCK代数,而正关联BCK-代数,定向可换BCK-代数都是L-BCK代数的特例.     

SWBR0-代数的蕴涵理想及其诱导的商代数

根据WBR₀-代数的无序特征, 通过将WBR₀-代数的正则性弱化, 建立了SWBR₀-代数, 提出了SWBR₀-代数蕴涵理想的概念, 讨论了蕴涵理想与同余关系之间的联系, 并通过蕴涵理想定义了SWBR₀-代数上的商代数, 得到了SWBR₀-代数的同态基本定理.     

可解BCI—代数的结构

本文引进了一般BCI—代数的换位理想的概念,并以此刻画了结合BCI—代数,进而解决了可解BCI—代数的构造问题。定义设x为BCI—代数,X中形如(x*y)*(y*x)的元称为它的一个换位子,记作〔x,y〕.令X_c为X的全体换位子的集合,称X_c在X中生成的理想为X的换位理想,记作C(X)。定理1 若X为广义结合BCI—代数,则C(X)恰由X的一切换位子所组成,并且 C(X)={x*(0*x)|x∈X}。定理2 若N为BCI—代数X的理想,则商代数X/N为结合的当且仅当C(x)N.特别地,X/C(X)是结合BCI—代数。推论 BCI—代数X为结合的当且仅当C(X)={0}。定理3 优BCI代数X是可解的当且仅当存在自然数n,使c~n(x)={0}。     

两类八阶BCK-代数的计数问题

主要利用BCK-代数的定义和BCK-代数的性质,把二类七阶链状BCK-代数作为子代数进行了扩张。满足运算表一的七阶链状BCK-代数扩张成的八阶链状BCK-代数共四个,满足第二类运算表的七阶链状BCK-代数扩张成八阶链状BCK-代数共有三个。     

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

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

Hilbert代数与BCK-代数

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

评介《BCI代数》

本校数学系胡庆平副教授编纂的《BCI代数》专著,已由陕西科学技术出版社出版。该书是国内外出现的第一部有关BCI代数理论的专著。本书概括了1984年5月前BCI代数的研究概貌,简介了BCI代数理论,还集中地总结了国内外,尤其是国内数学工作者在BCI代数理论工作方面的成果,还介绍了引入BCI代数的情况。BCI代数是本世纪60年代以来出现的一般代数学中的一个新分支。这一代数理论还涉及和联系到许多数学分支,如泛代数、群论、环论、格论、布尔代数、点集拓扑和拓扑代数等。     

BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中,证明了一类BCK-代数的包含度的存在性,给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征．     

拟左交错BCI-代数

研究了拟左交错BCI-代数,它比拟交错BCK-代数更具一般性。文中证明拟左交错BCI-代数具有散子代数性质,且可分解为熟知的拟交错BCK-代数与结合BCI-代数的(LX)并代数。     

模糊集各种差运算的代数结构

一 1966年日本的Imai,Y和Ise′ki,K首先给出了BCK-代数和BCI-代数的概念.1983年胡庆平又引入了一类较广泛的代数—BCH—代数.本文从这几类代数出发,讨论模糊集中各种差的运算的代数结构. BCK—代数和BCI—代数这两种理论的背景之一是经典集论中差的运算及其性质的一个抽象.设P(X)为X的幂集,“-”表示普通集合差的运算,φ表示空集,则就是一个BCK-代数.自然想到,对集X的一切模糊子集作成的类F(X)及其中相应的差的运算与空集φ是否也构成一个BCK—代数?由于模糊集中有种种差的运算,需要分别加以讨论。     

拟可换BCI—代数上的同余

讨论了拟可换BCI—代数上的同余关系,证明拟可换BCI—代数上的同余、左同余、理想同余是一致的;拟可换BCI—代数的商代数也是拟可换BCI—代数。     

关于正蕴涵BCK-代数

给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合R(X).     

离散型BCK-代数

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

拟可换BCI-(BCK-)代数的标准型

本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征.