一类BCK—代数的结构

本文用逐步扩张的方法给出了一类 n 阶 BCK-代数,同时也弄清了它的结构.     

BCK—代数的形式系统

本文引进了BCK-代数的形式系统L 的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。     

正则SM—代数

本文对正则的SM—代数给出一个构造定理。作为这一定理的应用,还给出了次直既约的正则SM—代数和内射SM—代数。     

关于BCK—代数与立体格公理系统

建立了关联ＢＣＫ代数与立体格公理系统的联系．     

正则FI代数及其伴随代数

引入了正则FI代数伴随代数的概念，研究了该伴随代数与Boolean代数的联系；同时讨论了正则FI代数许多有趣的性质。     

BCK—代数的两种扩张

给出了BCK-代数的两种扩张的方法。     

对合BCK—代数

本文给出对合BCK—代数的概念,系统地讨论了它的有关性质,并得到了下面的结果: 1、非交换对合BCK—代数的阶数至少为4; 2、在同构意义下,四阶非交换对合BCK—代数有且只有一个。     

PMS—代数中的正则理想

本文提出伪补MS-代数（简称PMS-代数）中正则理想，正则同余关系等概念．研究正则理想与核理想，0-理想之间的关系，讨论正则同余关系的性质，得到若干结果．     

Hilbert——代数的右拟交换元

引入Ｈｉｌｂｅｒｔ－代数的右拟交换元的概念，研究右拟交换元及正则Ｈｉｌｂｅｒｔ－代数的性质。     

BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

A∞-代数与三维AS正则代数

利用A∞-代数来讨论Artin-Schelter(AS)正则代数的分类．设A是整体维数为3的连通分次Noetherian代数,则A是AS正则代数当且仅当它的Yoneda代数ExtA(k,k)是Frobenius代数．设E是与ExtA(k,k)有相同的双分次结构的Frobenius代数．首先对E的代数结构及A∞-结构作分类,然后利用这个A∞-结构的分类及已知的一个对应关系,得到A∞-代数E的“对应”代数,从而为三维AS正则代数的A∞-分类作好了准备．     

用正则化方法求解代数—微分方程组

当代由于代数－微分方程组可年地作是无限抽象 性常微分方程组,因而代数－微分方程 可看作是刚性常微分方程组的解在某种意义下的极限。     

n级交换BCK—代数

本文引进n级交换BCK—代数的概念,它是交换BCK—代数概念的推广,讨论了它与几种特殊类型的BCK—代数之间的关系,证明当n≥2时,n级交换BCK—代数类不构成一个簇。     

粗糙集的BCK-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(＜下近似集,上近似集＞)表示入手,通过定义偶序对性质的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对的性质的一般代数结构.其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数.文章讨论了近似空间中粗糙集的代数性质,通过所给的粗糙并、交、补的定义,定义了粗糙集的全体所组的集合B的一个二元运算*.并证明B是一个蕴涵的BCK-代数.     

关于具有条件(S)的BCK一代数的伴随半群

讨论了具有条件（S）的BCK一代数的剩余刻划，另外给出了具有条件（S）的BCK-代数的伴随半群的一些住质．     

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

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