效应代数上的态射性质

In the present paper the properties of morphisms in effect algebras are discussed. The conditions for the morphisms in effect algebras to be join-preservation and meet-preservation are given. From the categorical point of view, some properties of ideals, filters and congruence relations under morphisms are obtained.     

效应代数中的模糊滤子

在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数.     

效应代数的直觉模糊滤子

引入效应代数的直觉模糊滤子和它的水平滤子的概念,讨论了直觉模糊滤子与水平滤子间的关系,给出了直觉模糊滤子的等价描述,研究了直觉模糊滤子的几个运算性质。在两个经典效应代数的效应态射与效应同构意义下,讨论了这种直觉模糊滤子的像和前像问题。     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

格蕴函代数中滤子的逻辑性质

讨论了当格蕴函代数L是完全分配格时蕴涵运算的一些性质,在格蕴函代数L上引入了集合的蕴函传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则的替换定理。     

态格效应代数及其基本性质

本文研究了格效应代数上有关态算子的问题。利用MV-代数上内态的引入方法在格效应代数上引入了态算子,定义了态格效应代数,态射格效应代数,并讨论了态格效应代数和态射格效应代数的一些基本性质及二者间的联系。     

对偶扩张代数的Frobenius态射和固定点代数

设A是由箭图Q和关系I所确定的代数,D(A)是代数A的对偶扩张代数, 对应的箭图Q*和关系I*由Q和I决定．本文证明:带关系箭图(Q*,I*)的自同构由带关系箭图(Q,I)的自同构决定;D(A)的Frobenius态射由A的Frobenius态射完全决定;代数D(A)的固定点代数同构于相应的代数A的固定点代数与A°P的固定点代数的张量积,特别地,当Q为单的箭图时,代数D(A)的固定点代数同构于代数A的固定点代数的对偶扩张代数．     

Fuzzy蕴涵代数的关联MP滤子和交换MP滤子

在Fuzzy蕴涵代数中对关联MP滤子和交换MP滤子的性质及应用作进一步研究.获得了关联MP滤子的若干新的等价刻画;利用交换MP滤子的性质给出了Fuzzy蕴涵代数成为可交换Fuzzy蕴涵代数的若干充要条件.     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

格蕴涵代数的superior滤子

从一个新的角度对格蕴涵代数的滤子理论作进一步研究。给定一个具有最小元的偏序集,提出了格蕴涵代数superior滤子和superior关联滤子的概念,研究了superior滤子的相关性质,给出了若干等价刻画。讨论了superior滤子和superior关联滤子相关关系。最后还得到了上确界关联滤子的一些等价刻画。     

Z-蕴涵代数的Z-滤子

在[4]中,我们引入了Z-蕴含代数的概念,讨论了它们的一些性质.本文中,我们进一步引入Z-蕴含代数的Z-滤子,并研究它们一些有趣的结果.     

R_0代数的滤子理论

在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系.得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真.     

格蕴涵代数中滤子的逻辑性质(英文)

讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理     

效应代数的(η,γ]-模糊滤子

在Lu D L和Wang G J提出效应代数中模糊滤子(简称LW-模糊滤子)概念的富有成效的工作基础上,利用模糊点与模糊集的属于与重于关系给出了一种新的模糊滤子——(η,γ]-模糊滤子的定义,指出LW-模糊滤子、(∈,∈Vq)-模糊滤子和(∈,∈Vq)-模糊滤子是它的三个特例,获得了这些模糊滤子的等价刻画.     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

Fuzzy蕴涵代数的素MP滤子

对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画.     

Fuzzy蕴涵代数的模糊正则滤子

在Fuzzy蕴涵代数中引入模糊正则滤子的概念并讨论其性质.获得了模糊正则滤子的若干等价刻画.深入考察了模糊正则滤子与其它类型的模糊滤子之间的关系,证明了一个模糊集是模糊Q-滤子当且仅当它既是模糊P-滤子又是模糊正则滤子的结论.     

Fuzzy蕴涵代数的犹豫模糊滤子

本文运用犹豫模糊集的方法和原理研究Fuzzy蕴涵代数的滤子问题。引入了Fuzzy蕴涵代数的犹豫模糊滤子概念,给出了犹豫模糊滤子的若干性质,获得了犹豫模糊滤子的若干等价刻画,讨论了犹豫模糊滤子与滤子间的关系。     

R0代数的Fuzzy MP滤子

引入R0代数的Fuzzy MP滤于与Fuzzy素MP滤子的概念，给出R0代数的Fuzzy MP滤子与Fuzzy素MP滤子的若干等价刻画，并由此得到R0代数的MP滤于与素MP滤子的一些等价刻画。     

关于群胚作用和李双代数胚态射

在这篇文章中，我们讨论了李双代数胚之间的态射，得到了一些李双代数胚之间态射的性质．研究了泊松群胚在泊松流形上的泊松作用，以及这个泊松作用与被作用流形的切李双代数胚到作用泊松群胚的切李双代数胚之间的态射的关系，得到了一些有用的结论。