基础R_0-代数与BCI/BCK-代数的关系(Ⅱ)

在探讨基础R0-代数与BCI/BCK-代数间相互联系的基础上,比较了基础R0-代数的素滤子与BCI/BCK-代数的真理想间的区别与联系,并对基础R0-代数的商代数与BCI/BCK-代数的商代数作了进一步研究,给出两种模糊逻辑代数结构的内在联系与区别.     

BCK-代数上的包含度

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

Hilbert代数与BCK-代数

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

BR_0-代数与BCK-代数

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

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

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

BR_0代数与FI代数的关系

研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系.     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

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

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

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代数的特例.     

关于可换BCK-代数的一点注记

1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

BCK-代数的扩张

讨论了BCK-代数的极大元扩张的同构问题，引进了有限BCK-代数的一种新的扩张方法——保型扩张，小原子扩张只是保型扩张的特殊情况，给出了扩张后的代数与原代数之间的保型性质，并且讨论了新代数的一些有关理想的性质。     

BCI-代数与BCK-代数的粘合(Ⅱ)

在“BCI-代数与BCK-代数的粘合(I)”一文中构造了BCI-代数范畴中一种自然的方法，使得任一BCI-代数与BCK-代数能以此法粘合．先前许多作者定义的粘合是这种构造的特殊情况．这里说明这种构造保留两个代数的许多性质，并导出同构的粘合．更进一步说明了这种构造的自然性．     

BCI-代数的加法序半群的理想

说明了一般BCI-代数(X,*,0)的加法半群是序半群,讨论了它作为序半群的理想和核的性质,并由此刻画了BCK-代数和p-半单BCI-代数.     

Hilbert代数的若干注记

首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wa jsberg代数及弱R0 代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了运算,得到了一类剩余格;最后,讨论了弱Hilbert代数的推理系统。     

关于BCK-代数的次伪赋值

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

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

关于BCK-代数的可解性与幂零性

本文定义了可解的BCK-代数与幂零的BCK-代数,讨论了它们的一些性质。     

R_0代数,MV代数的等价刻画

通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.     

BCI-代数与BCK-代数的粘合(Ⅰ)

构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质.