每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

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

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

正蕴含BCK—代数的半群特征

正蕴含及具有(S)条件的BCK一代数是BCK一代数类的两个重要子类,本文利用伴随半群给出了这两类代数的完整刻划。     

广群BCI—代数

利用BCI－代数的某些特性讨论具有里外律、对合律的广群，作为应用，对BQ－代数、结合BCI－代数、偏序交换剩余异独异点、Hilbert代数，各给出了一组等价公理系。     

可交换的弱FI代数

引入可交换弱FI代数的概念 ,讨论了弱FI代数和FI代数的几个性质 ;进一步得到了交换弱FI代数和交换FI代数的一些结果     

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

关于余剩余格的一点注记

进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.     

关于CFI代数

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

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

拟结合BCI—代数的若干特征

本文将给出拟结合BCI—代数成为P—半单BCI—代数的若干等价条件,并讨论结合BCI—代数与正蕴涵具有条件(S)的BCK—代数的半群特征。     

轮迴广群

本文引入轮迴广群的概念,讨论了它与半群、交换么半群、BCI代数等代数系之间的关系.并给出了结合BCI代数的一组简化的等价公理系.     

PI-环的一个交换性条件

利用亚直不可约环的性质,研究了结合环的交换性问题,证明了PI-环的一个交换性定理,给出了一个比较简明的交换性条件,此结果是Herstein及Jacobson定理的一种推广.     

关于剩余半群中元素的剩余周期

给出可换偏序立半群中元素的剩余周期的概念，证明了在剩余立半群中，么元为最大元当且仅当半群中每个元素的剩余周期均为１；讨论了元素的剩余周期的一些性质及一种特殊的剩余么牛群的Ａｂｅｌ群结构．     

关于循环系的(P)-覆盖的一个推广

设S是幺半群,I是S的一个理想。利用理想I定义了条件(PI)。给出了循环系满足条件(PI)的充分必要条件,并研究了所有循环系具有(PI)-覆盖的幺半群。若理想I取成S,则条件(PI)和条件(P)等价,推广了已有的结果。     

关于半群环的主理想升链条件

本文对交换半群环的主理想升链条件进行了讨论,通过对半群的性质以及半群与半群环之间的相互关系,再利用半群环中的半群只有一个可逆元的情形下的升链条件的充要条件,在半群是交换无挠可消摹群,且存在完全不可逆生成集的条件下得到一个关于半群环的主理想升链条件的一个充要条件.     

条件（P）的推广及其对幺半群的刻画

研究条件（P）的推广形式（条件（Q））及对幺半群的刻画，给出了所有挠自由右S－系满足条件（Q）的充要条件。     

图的弱自同态幺半群

定义了图的弱自同态,证明了一个图的所有弱自同态在映射的合成下可以构成一个幺半群,刻画了图的弱自同态幺半群的两类格林关系(L关系和R关系)。通过L关系给出了其每个L类中都包含幂等元的条件。最后,给出了图的弱自同态幺半群是正则半群的充分必要条件。     

集合上一些运算律的反例（Ⅱ）

给出一个集合上的两个（二元）代数运算分别满足或不满足交换规律、结合律和分配律的各类例子，同时给出了n元分配律成立而 n-1元分配律不成立的例子。