在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X;＊, 0〉是一个 BCK－代数, X的一个非空子集 A被称为一个理想,如果它满足 　　(1)0∈ A　　(2)x∈ A, y＊ x∈ A, y∈ A(以后表示可推出 )　　定义 2设和〈 Y;＊ 1,θ〉是两个 BCK－代数,如果存在一个映射, f∶ X→ Y,使得对于任意的 x, y∈ X,有 f(x＊ y)=f(x)＊ 1f(y),则称 f为 X到 Y的一个同态映射,且称 X和 Y是同态的,记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态,称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …     

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

BCK-代数的次极大理想

BCK代数X的理想M称为次极大理想,如果存在x∈X-M,使得M在不含x的理想中极大.讨论了次极大理想的性质,并得到:BCK代数的每个理想都可分解为一些次极大理想的交.特别地,在满足理想降链条件的BCK代数中,每个理想都可分解为有限个次极大理想的交.     

GB代数的同态定理

本文对GB代数作了进一步研究,所得的主要结果为:定理2 设为GB代数,令G(X)={x_∈X|存在y∈X,使得x=y″},则是群伴代数且(X;*,e>∽.定理4 若是GB代数,令B(X)={x∈X|x″=e},那么为群伴代数且∽,这里Vx,y∈X,x～y当且仅当x*y,y*x∈B(X).     

关于BCI-代数的两点注记

用反例指明“BCI—代数（x；*，0）的非空子集I是一个理想当且仅当A↓x,y∈I，A(x，y)＝{x∈X：z*x≤y}∈I”，其充分性是不成立的。此外，指出记号x*^ny和x^n*y的2种记法不等价的。     

关于BCI-代数的P-半单子代数

本文旨在讨论每个子代数皆为理想的BCI一代数,得到了该类代数的一些充分条件与必要条件。设X是一个BCI—代数,x∈X,若0*(0*x)=x,则称x是一个P—半单元。用SP(X)表示X的全部P—半单元之集,则SP(x)是x的一个子代数。用P(X)表示X的BCK—部分,则P(X)是X的理想子代数,且易知P(X)∩SP(X)={0}。定理1 设X是一个BCI—代数,则SP(X)是X的理想当且仅当对任意x,x′∈P(X),y,y′∈SP(X),由x*y=x′*y′可推出x′=x,y′=y。定理2 设X是一个BCI—代数,若SP(X)是X的一个理想,则X中元可唯一地分解成P(X)中元与SP(X)中元之积。定理3 设X是一个BCI—代数.若M(X)非空,则P(X)≠{0},且SP(X)≠{O}。     

原子生成的BCK-代数

本文讨论了由原子(即非零极小元)生成的BCK—代数。证明了原子生成的BCK—代数的非零同态象及非零理想都是原子生成的。其次,引入了原子高的概念,进一步得到了一些关于具有基的BCK—代数的性质。特别地,我们有:具有基的有界BCK—代数是有限的,并且理想的阶整除它的阶。最后,我们还给出了具有基的BCK—代数自同构的一些性质。     

正则蕴涵算子分析性质的研究

针对正则蕴涵算子，从分析学的角度研究了其连续性,得到了正则蕴涵算子是连续函数的充要条件是当x≥y时，满足（x→y）→y=x；仅在（0，0）间断函数的充要条件是当x≥y，y≠0时，（x→y）→y=x，而对任意x∈（0，1），（x→0）→0≠x，同时研究了与这些蕴涵算子相伴随的三角模。     

正则与LR—BCI—代数

在作者已研究的正则BCK—代数结果的基础上,本文继续讨论正则BCI—代数,并进一步引进LR—BCI—代数的概念,得到了一些有意义的结果。定理1 设是BCI—代数簇{:α∈I}的积代数,那么,X正则的充分必要条件是每一个X_α都是正则的。定理2 设X是BCI—代数.如果X是正则的,那么,X的任意商代数也是正则的。定理3 每一个可解优BCI—代数都是正则的。     

关于Griss代数的伴随半群

本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半群刻划.     

可解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}。     

可换BR_0代数的刻画和性质

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

有限双向E类保序变换半群的Green关系和正则性

设(X,≤)是全序集,T(X)是X上的全变换半群,E为X上的任意的非平凡等价关系,设E*O(X)={α∈T(X):x,y∈X,(x,y)∈E,x≤y(xα,yα)∈E,xα≤yα}则E*O(X)是T(X)的子半群;当X是有限和E是凸时,研究了E*O(X)的Green关系,并证明了它是正则子半群.     

Boo1e代数与双格半群

指出Boole代数类是双格半群类的真子类；有限Boole代数类是F-格半群类的真子类；当格群是Boole代数时，该格群一定是平凡的，同时给出一个双格半群(S， ，≤)是Boole代数的充要条件是：1．存在0∈S，任意x∈S，0≤x，0 x=x 0=x；2．任意x，y∈S，(x⊙y) x=x；3．任意x∈S，存在x′∈S，x⊙x′=x；4．任意x，y,x∈S，x xy=x xz，x⊙y推出x=y.     

BCH-代数的首行商代数和不变子代数

给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合.     

MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

距离空间的一个公共不动点定理

引入了渐近正则映象对概念．在适当条件下证明了完备距离空间中渐近正则映象对公共不动点的存在定理． 定理1设T,S是连续的渐近正则映象对,且满足如下条件： ①存在φ∈Ф1,使得d（Tx,Sy）≤φ（D（x,y））,x,y∈X;②d（Tx,Sy）〈D（x,y）, z,y ∈X且x≠y． 那么T和S有唯一的公共不动点．     

RL型蕴涵与Fuzzy推理的三Ⅰ算法

引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)| y∈Y}(∩){A(x)| x∈X}时,基于RL型蕴涵的三I算法为P-还原算法,当P表示条件{A(x)| x∈X}(∩){B(y)| y∈Y}时,基于RL型蕴涵的三I MT算法为P-还原算法.     

BCI—代数的诣零根

在 BCI—代数中,理想与子代数是两个独立的概念,多年来,许多人试图探讨这两个概念的内在联系〔如1,2〕,但只是在一些特殊的 BCI—代数类中进行.本文引入了幂零元概念,说明在 BCI—代数中,诣零性是一个根性;一个代数 X 是诣零代数当且仅当 X 的每个理想是子代数。从而彻底搞清了理想与子代数概念之联系.定义1 设 X 是一个BCI—代数,x∈X,若有正整数 n,使(…((0*x)*x…)*x=0, (n个*),则称 x 是一个幂零元.     

RL型蕴涵与Fuzzy推理的三I算法

引入了RL型蕴涵与正则RL型蕴涵的概念，系统地讨论了基于RL型蕴涵的三I算法、三IMT算法及其还原性，得到了这些算法的一般表达式，指出基于正则RL型蕴涵的三I算法与三IMT算法的表达式具有对偶形式；证明了当P表示条件{B(y)|y∈Y}真包含{A(X)|X∈X}时，基于RL型蕴涵的三I算法为P-还原算法，当P表示条件{A(x)|x∈X}真包含{B(y)|y∈Y}时，基于RL型蕴涵的三IMT算法为P-还原算法．