共查询到20条相似文献,搜索用时 484 毫秒
1.
《数学的实践与认识》2018,(20)
以滤子概念为工具研究FI代数的结构问题.基于MP滤子升链族和降链族引入了Noether-FI代数与Artin-FI代数的概念,并利用MP滤子和模糊MP滤子的性质获得了Noether-FI代数与Artin-FI代数若干等价刻画.为进一步深入研究FI代数提供了一个有力工具. 相似文献
2.
Fuzzy蕴涵代数的素MP滤子 总被引:1,自引:0,他引:1
对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画. 相似文献
3.
4.
Fuzzy蕴涵代数的MP滤子 总被引:9,自引:3,他引:6
给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame. 相似文献
5.
刘春辉 《数学的实践与认识》2018,(12)
综合运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步深入研究.引入了Heyting代数的关于其子集的不变滤子概念.给出了不变滤子的若干性质.证明了Heyting代数的关于一个给定子集的不变滤子全体之集构成一个完备Heyting代数. 相似文献
6.
《模糊系统与数学》2014,(2)
伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。 相似文献
7.
《数学的实践与认识》2017,(22)
运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步研究.在Heyting代数H中引入了滤子F关于H的子集A的扩张滤子概念并考察其性质.证明了一个滤子F关于H的所有子集的扩张滤子全体之集构成一个完备Heyting代数且构成一个Stone格. 相似文献
8.
研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。 相似文献
9.
关于BL-代数的模糊滤子与模糊理想 总被引:3,自引:1,他引:2
在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。 相似文献
10.
赵秀兰 《数学的实践与认识》2018,(13)
在双重半伪补MS代数上引入余核滤子的概念,构造了余核滤子同余关系表达式,获得了余核滤子判别定理.根据双重半伪补MS代数的运算特征及主同余表示理论,获得了余核滤子同余关系的若干等价表达式并证明了双重半伪补MS代数余核滤子与其同余关系是同构的.所得结论为Ockham代数类余核滤子性质的研究提供了方法,丰富了序代数结构理论. 相似文献
11.
12.
本文把粗糙集理论应用到伪BCK代数, 作为伪BCK代数的推广, 给出了类代数近似空间上粗伪BCK代数、粗子代数和粗伪滤子的概念, 并讨论了它们的一些相关性质. 进一步研究了伪BCK 代数近似空间上粗子代数和粗伪滤子. 最后给出了几个伪BCK代数、伪滤子和子代数的验证程序. 相似文献
13.
把犹豫模糊集理论应用在R0-代数上,给出R0-代数的犹豫模糊MP滤子、犹豫模糊素MP滤子、犹豫模糊蕴涵滤子的概念,讨论R0-代数上这几类犹豫模糊滤子的性质以及它们之间的等价刻画. 相似文献
14.
15.
16.
给出伪BCI-代数中结合伪滤子及伪a-滤子的一些新性质,证明了以下重要结果:(1)伪BCI-代数的一个伪滤子是结合的当且仅当它是伪a-滤子;(2)一个伪BCI-代数是结合BCI-代数的充分必要条件是它的每一个伪滤子是结合的(或伪a-滤子);(3)伪BCI-代数的一个伪滤子是结合的(或是伪a-滤子)当且仅当它是群逆伪q-滤子,当且仅当它是群逆T-型伪滤子。 相似文献
17.
R0-代数上的Fuzzy同余关系 总被引:1,自引:0,他引:1
在R0-代数中引入Fuzzy同余关系的概念,讨论了Fuzzy同余关系的一些基本性质,并通过对R0-代数中的Fuzzy MP滤子,特别是生成Fuzzy MP滤子的讨论建立了Fuzzy MP滤子与Fuzzy同余关系之间的联系。 相似文献
18.
引入了R0代数的Fuzzy 子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性. 相似文献
19.
MTL代数的特征定理 总被引:3,自引:1,他引:2
对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质. 相似文献
20.
《数学的实践与认识》2020,(13)
正则滤子是刻画代数结构的工具,借助正则滤子同余关系有助于了解代数的内部结构.首先在双重半伪补MS代数上,引入正则滤子的概念,结合双重半伪补MS代数的运算属性,构造出具有正则滤子的最大同余关系;其次,利用双重半伪补MS代数具有正则滤子最小同余关系表达式,给出了具有正则滤子的最小同余关系与最大同余关系的等式关系.所得结论为其它分配格代数类正则滤子性质的研究提供了方法,丰富了分配格理论,为进一步研究分配格代数类的代数结构提供理论支持. 相似文献