共查询到19条相似文献,搜索用时 62 毫秒
1.
格蕴涵代数与BCK代数的关系 总被引:2,自引:1,他引:2
本文给出了有界可换的BCK代数的分配性的一些等价条件,指出了格蕴涵代数与有界可换分配的BCK代数以及格H蕴涵代数与有界关联的BCK代数之间的对偶关系 相似文献
2.
3.
蕴涵代数与BCK代数 总被引:6,自引:0,他引:6
系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数 相似文献
4.
5.
6.
FI代数同构于一族全序FI代数的直积的子代数的条件 总被引:6,自引:0,他引:6
解决了王国俊教授提出的关于FI代数的嵌入问题,并进一步研究了FI代数与一族全序FI代数的直积的子代数同构的条件.主要结果是:交换FI代数可同构嵌入一族全序交换FI代数的直积;分配FI代数可同构嵌入一族全序分配FI代数的直积. 相似文献
7.
我们证明了蕴涵BCK-代数的伴随半群是一个上半格;具有条件(s)的蕴涵BCK-代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK-代数的伴随半群是一个布尔代数。 相似文献
8.
本文给出了有界可换的BCK代数的分配性的一些等价条件,指出了格蕴涵代数与有界可换分配的BCK代数以及格H蕴涵代数与有界关联的BCK代数之间的对偶关系。 相似文献
9.
MV-代数、BL-代数、R0-代数与多值逻辑 总被引:71,自引:20,他引:71
证明三种不同形式的MV-代数刻画的等价性,分析MV-代数、BL-代数与R0代数的逻辑背景,提出若干可进一步研究的课题。 相似文献
10.
曾庆怡 《纯粹数学与应用数学》2001,17(2):187-191,196
引进了 BCK代数的一种新的扩张方法——极大元扩张法 ,使得其他扩张法 ,如拟交错扩张法、有界 BCK代数的 Iseki扩张 ,都是极大元扩张法的特殊情况 .而且讨论了极大元扩张的其他性质 . 相似文献
11.
12.
可交换的Fuzzy蕴涵代数 总被引:8,自引:2,他引:6
Fuzy蕴涵代数,简称FI代数,是一个新的代数系统,它是[0,1]值逻辑的蕴涵连接词的代数抽象。本文在FI代数中引进“交换”运算,从而得到了进一步刻划FI代数及HFI代数的若干结果。本文还证明了交换FI代数关于偏序≤是一个格 相似文献
13.
N-半单代数与蕴涵代数 总被引:8,自引:4,他引:4
研究了有限结合代数与各种蕴涵代数的联系,得到了一些有趣的结果:N-半单代数的中心幂等元集G(R)按照“→”或者“*”等运算分别构成与蕴涵代数(F I代数、BCK代-数、BC I代-数、BCC代-数、W a jsberg代数等)等价的代数系统。 相似文献
14.
关于格蕴涵代数的余元及结构 总被引:1,自引:0,他引:1
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。 相似文献
15.
在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想. 相似文献
16.
蕴涵格及其Fuzzy拓扑表现定理 总被引:27,自引:0,他引:27
以L-Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广.建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明. 相似文献
17.
18.
基于关系代数理论中的部分思想,定义了软集合理论中的差运算、选择运算和投影运算.探讨了关系代数和软集合的关系,运用关系代数的选择、投影、并、差等运算实现了软集合参数约简算法,并用SQL语言实现了算法.最后将算法运用到房屋置业选择问题中进行验证.结果表明,软集合方法能以一种更简单直接的形式为决策问题提供有效的参考依据. 相似文献
19.
Mamoon A. Ahmed 《Journal of Mathematical Analysis and Applications》2010,364(2):498-507
Let (G,G+) be a quasi-lattice-ordered group with positive cone G+. Laca and Raeburn have shown that the universal C∗-algebra C∗(G,G+) introduced by Nica is a crossed product BG+α×G+ by a semigroup of endomorphisms. The goal of this paper is to extend some results for totally ordered abelian groups to the case of discrete lattice-ordered abelian groups. In particular given a hereditary subsemigroup H+ of G+ we introduce a closed ideal IH+ of the C∗-algebra BG+. We construct an approximate identity for this ideal and show that IH+ is extendibly α-invariant. It follows that there is an isomorphism between C∗-crossed products and B+(G/H)β×G+. This leads to our main result that B+(G/H)β×G+ is realized as an induced C∗-algebra . 相似文献