粗糙集理论在伪BCK代数上的应用

本文把粗糙集理论应用到伪BCK代数, 作为伪BCK代数的推广, 给出了类代数近似空间上粗伪BCK代数、粗子代数和粗伪滤子的概念, 并讨论了它们的一些相关性质. 进一步研究了伪BCK 代数近似空间上粗子代数和粗伪滤子. 最后给出了几个伪BCK代数、伪滤子和子代数的验证程序.     

伪补MS-代数的滤子同余关系

在伪补MS-代数上引入余核滤子和完全滤子的概念,研究伪补MS-代数的余核滤子和完全滤子的性质,获得了余核滤子和完全滤子生成的同余关系的表达式,证明了具有余核滤子的最小同余关系有同余一致性.     

半伪补MS-代数的滤子同余关系

在半伪补MS-代数上引入余核滤子,正则滤子和p-滤子的概念,研究了半伪补MS-代数上余核滤子,正则滤子和p-滤子的性质及关系,获得了余核p-滤子生成的同余关系的表达式,论证了余核p-滤子同余关系具有同余一致与同余凝聚性质。     

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。     

双重半伪补MS代数的滤子同余关系

在双重半伪补MS代数上引入余核滤子的概念,构造了余核滤子同余关系表达式,获得了余核滤子判别定理.根据双重半伪补MS代数的运算特征及主同余表示理论,获得了余核滤子同余关系的若干等价表达式并证明了双重半伪补MS代数余核滤子与其同余关系是同构的.所得结论为Ockham代数类余核滤子性质的研究提供了方法,丰富了序代数结构理论.     

平衡双重伪补Ockham代数的滤子同余特征

在平衡双重伪补Ockham代数上引入余核滤子的概念,获得余核滤子生成的同余关系的若干等价表达式,证明平衡双重伪补Ockham代数的余核滤子格与其对应的余核滤子同余关系格是同构的。     

FI代数的犹豫模糊滤子与犹豫模糊同余关系

将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合,引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系.获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.证明了当分别在CFI代数的全体犹豫模糊滤子集和全体犹豫模糊同余关系集上定义适当的序关系后,二者保序同构.     

双重半伪补MS代数的正则滤子

正则滤子是刻画代数结构的工具,借助正则滤子同余关系有助于了解代数的内部结构.首先在双重半伪补MS代数上,引入正则滤子的概念,结合双重半伪补MS代数的运算属性,构造出具有正则滤子的最大同余关系;其次,利用双重半伪补MS代数具有正则滤子最小同余关系表达式,给出了具有正则滤子的最小同余关系与最大同余关系的等式关系.所得结论为其它分配格代数类正则滤子性质的研究提供了方法,丰富了分配格理论,为进一步研究分配格代数类的代数结构提供理论支持.     

关联BCK代数的P滤子、I滤子及BFI滤子

引入关联BCK代数的P滤子、I滤子及BFI滤子的概念,并得到了一些重要的结论.     

伪补MS-代数的同余关系

本文研究了伪补MS-代数的同余关系.利用正则滤子和伪补代数的对偶窄间理论,得到了正则滤子所生成的同余关系的性质以及同余可换的伪补MS-代数类,从而推广了文献[9]的结果.     

蕴涵格的MP*-滤子

通过对模糊逻辑代数中传统MP-滤子的定义进行改造,在蕴涵格中引入MP*-滤子的概念,并由此构作了完整的同余关系和商代数结构;同时,引入优蕴涵格的概念,证明了优蕴涵格的素滤子定理,从而完满地建立了蕴涵格的一般滤子理论,研究结果表明,当蕴涵格特化为IMTL-代数、R0-代她、MV-代数时,MP*-滤子正好特化为传统的MP-...     

群逆伪BCI-代数与群逆滤子(英文)

伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。     

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

关于伪BCI-代数的结合伪滤子与伪a-滤子（英文）

给出伪BCI-代数中结合伪滤子及伪a-滤子的一些新性质,证明了以下重要结果:(1)伪BCI-代数的一个伪滤子是结合的当且仅当它是伪a-滤子;(2)一个伪BCI-代数是结合BCI-代数的充分必要条件是它的每一个伪滤子是结合的(或伪a-滤子);(3)伪BCI-代数的一个伪滤子是结合的(或是伪a-滤子)当且仅当它是群逆伪q-滤子,当且仅当它是群逆T-型伪滤子。     

正则剩余格的粗滤子

本文讨论正则剩余格中的粗滤子。首先在剩余格中引入同余关系,讨论了同余关系的性质,然后给出基于同余关系的粗糙集代数,并定义粗滤子、粗素滤子等概念,最后讨论了它们的性质。     

分式R_0代数及R_0代数上的Gabriel滤子

引进了相对于交闭系统的分式R0代数的概念,井研究了R0代数上的Gabriel滤子,证明该滤子可以确定R0代数上的一种同余关系,为进一步研究局部化R0代数奠定了基础.     

平衡伪补Ockham代数的滤子及其同余关系

一个平衡伪补Ockham代数是代数(L;∨,∧,f,*,0,1),其中(L;f)是Ockham代数,(L;*)是伪补p-代数,且一元运算f和*满足条件(x∈L)f(x*)=x**及[f(x)]*=f2(x)。描述了平衡伪补Ockham代数L的滤子及其同余关系的性质,证明了L的*-滤子格与其核理想格同构。     

FI代数的区间值模糊软滤子

运用区间值模糊软集研究FI代数的滤子问题,引入了FI代数的区间值模糊软滤子概念,给出了它的若干代数性质。定义了区间值模糊软FI-同态(同构)概念,证明了FI代数的一个区间值模糊软滤子在区间值模糊软FI-同构(同态)下的像(原像)仍为区间值模糊软滤子的结论。     

Noether-FI代数与Artin-FI代数

以滤子概念为工具研究FI代数的结构问题.基于MP滤子升链族和降链族引入了Noether-FI代数与Artin-FI代数的概念,并利用MP滤子和模糊MP滤子的性质获得了Noether-FI代数与Artin-FI代数若干等价刻画.为进一步深入研究FI代数提供了一个有力工具.     

伪BCI-代数的导出半群与T-部分（英文）

伪BCI-代数是一类非经典逻辑代数,它是伪BCK-代数的推广,而伪BCK-代数与各种非可换模糊逻辑代数有密切关系。本文从任意伪BCI-代数出发,构造了两种加法运算,进而得到两个导出半群。同时,本文引入强伪BCI-代数、伪BCI-代数的T-部分等概念,给出伪BCI-代数的T-部分成为伪BCI-滤子的一些等价条件。