Z-连通代数偏序集及其范畴 被引量：5

1

作者 阮小军 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2009年第2期46-51,共6页

对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。

关键词 Z-连通集系统 Z-连通连续偏序集 Z-连通代数偏序集 强代数格

在线阅读 下载PDF 职称材料

剩余偏序集及其与FI代数的关系 被引量：6

2

作者 周建仁 吴洪博 《云南师范大学学报（自然科学版）》 2012年第3期1-6,共6页

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足(ab)→c=a→(b→c),那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代... 给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足(ab)→c=a→(b→c),那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图. 展开更多

关键词 模糊逻辑 逻辑代数 剩余偏序集 WBR0-代数 FI-代数

在线阅读 下载PDF 职称材料

S_2-代数偏序集 被引量：3

3

作者 张文锋 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2015年第5期71-74,共4页

引入了S_2-代数偏序集的概念,证明了偏序集为S_2-代数的当且仅当其上弱Scott拓扑为强代数格,即完全分配的代数格。

关键词 S2-连续偏序集 S2-代数偏序集 弱Scott拓扑 强代数格 代数格 完全分配格

原文传递

伪的弱效应代数的同余和理想 被引量：4

4

作者 郭建胜 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第3期10-15,共6页

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应... 在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示. 展开更多

关键词 伪效应代数 伪的弱效应代数 伪的弱差分偏序集 BL-效应代数 理想 同余 子直积

在线阅读 下载PDF 职称材料

自由Dcpo和自由并完备格的结构和性质 被引量：1

5

作者 郭智莲 赵彬 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第4期11-14,共4页

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.

关键词 完备格 自由Dct30 自由并完备格 代数偏序集 强代数偏序集

在线阅读 下载PDF 职称材料

WBR_0-代数的Pt-模和Ps-模表示 被引量：1

6

作者 王娜 吴洪博 《计算机工程与应用》 CSCD 2014年第9期49-52,共4页

三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子,而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR0-代数进行了再研究。给出了WBR0-代数的Pt-模(偏序集上的t-模)的表现形式;在偏序集上通过Pt-模结合蕴... 三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子,而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR0-代数进行了再研究。给出了WBR0-代数的Pt-模(偏序集上的t-模)的表现形式;在偏序集上通过Pt-模结合蕴涵算子给出了WBR0-代数的表示形式;证明了WBR0-代数原始定义中的二元运算⊕是WBR0-代数的Ps-模(偏序集上的s-模)。结果对进一步探讨WBR0-代数及其相关的逻辑代数有积极的参考价值。 展开更多

关键词 逻辑代数 WBR0-代数 偏序集 Pt-模 Ps-模

在线阅读 下载PDF 职称材料

有限拟阵的确定 被引量：1

7

作者 信秀 李生刚 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第4期12-14,共3页

证明了对任一有限集E,可以给C(E)(即E上的拟阵极小圈系的全体)、R(E)(即E上的拟阵秩函数的全体)和F(E)(即E上的拟阵闭集族的全体)上定义适当的序关系,使它们成为与(I(E),)(即E上的拟阵独立集系的全体)同构的偏序集.

关键词 拟阵 偏序集 连续DOMAIN 代数DOMAIN

在线阅读 下载PDF 职称材料

两类代数Domain范畴的等价 被引量：1

8

作者 刘妮 《西南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第6期960-963,共4页

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴... 首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价． 展开更多

关键词 范畴等价 代数L-domain 代数bc-domain L-偏序集 B-偏序集

在线阅读 下载PDF 职称材料

偏蕴涵代数

9

作者 关晓红 王国俊 韩邦合 《南阳师范学院学报》 CAS 2006年第12期4-7,共4页

通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.

关键词 效应代数 差分偏序集 偏蕴涵代数 MV代数

在线阅读 下载PDF 职称材料

偏序集上的Fuzzy蕴涵代数及其性质

10

作者 王昭海 吴洪博 《重庆理工大学学报（自然科学）》 CAS 2016年第8期148-151,共4页

给出了偏序集上的Fuzzy蕴涵代数的概念,讨论了它的性质,并证明它在满足一定条件下可构成MV代数,也可构成Fuzzy R_0代数。

关键词 偏序集 蕴涵代数 性质

在线阅读 下载PDF 职称材料

Z-连通连续偏序集的遗传性及不变性

11

作者 赵娜 鲁静 《模糊系统与数学》 北大核心 2018年第4期96-100,共5页

本文引入了Z_c-子空间的概念,证明了Z_c-连续(代数)偏序集对Z_c-闭集是可遗传的,并给出例子说明Z_c-连续偏序集的Z_c-Scott开集通常不是Z_c-连续的。最后我们证明了在特殊的连通集系统下,Z_c-连续(代数)性在既保局部基又保Z_c-集并的映... 本文引入了Z_c-子空间的概念,证明了Z_c-连续(代数)偏序集对Z_c-闭集是可遗传的,并给出例子说明Z_c-连续偏序集的Z_c-Scott开集通常不是Z_c-连续的。最后我们证明了在特殊的连通集系统下,Z_c-连续(代数)性在既保局部基又保Z_c-集并的映射下保持不变,且Z_c-连续(代数)偏序集的收缩仍是Z_c-连续(代数)偏序集。 展开更多

关键词 范畴 连通集系统 Zc-连续(代数)偏序集 Zc-Scott拓扑

原文传递

伪BCK代数与一类量子逻辑

12

作者 刘用麟 《武夷学院学报》 2009年第5期3-6,共4页

在文[8]中,Dvurecenskij和Kim建立了BCK代数与D-偏序集之间的联系,本文把它们的结果推广到非交换形式,给出了伪BCK代数与PD-偏序集之间的联系。

关键词 伪BCK代数 PD-偏序集

在线阅读 下载PDF 职称材料

强代数偏序集 被引量：4

13

作者 石小妹 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2015年第1期10-14,共5页

引入了一种新的强代数偏序集的概念,证明了偏序集P为强代数的当且仅当其正规完备化δ(P)为强代数格,给出了强代数偏序集的内蕴式刻画。

关键词 强代数偏序集 正规完备化 强正则关系

原文传递

伪差偏序集的公理系统(英文)

14

作者 刘用麟 《南平师专学报》 2007年第2期1-4,共4页

伪差偏序集已经被引进作为一类新的量子逻辑结牺.本文证明了伪差偏序集定义中的公理(PD6)不是独立的,从而得到了一些较简单的公理系统,证明了伪差偏序集是 D-偏序集的非交换推广,正如伪效应代数是效应代数的非交换推广一样.

关键词 伪差偏序集 D-偏序集 伪效应代数

在线阅读 下载PDF 职称材料

Frink代数偏序集 被引量：2

15

作者 严君 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2015年第2期1-6,共6页

引入了Frink代数偏序集的概念,讨论了它的一些性质,给出了它的若干刻画,特别地,证明了Frink代数偏序集的正规完备化δ(P)为代数格。

关键词 Frink代数偏序集 正规完备化 Frink理想

原文传递

R-偏序集上的cpo,代数cpo与连续cpo 被引量：1

16

作者 武利刚 樊磊 高泾萍 《数学杂志》 CSCD 北大核心 2010年第5期871-876,共6页

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.

关键词 R-偏序集 CPO 代数cpo 连续cpo

在线阅读 下载PDF 职称材料

可数逼近偏序集的若干性质 被引量：1

17

作者 胡珺珺 张红霞 《江西师范大学学报（自然科学版）》 CAS 北大核心 2015年第3期276-280,共5页

可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.

关键词 可数逼近偏序集 可数Scott拓扑 代数可数逼近偏序集

在线阅读 下载PDF 职称材料

■-分配偏序集 被引量：1

18

作者 李鑫硕 陈家浩 张文锋 《模糊系统与数学》 北大核心 2023年第6期105-109,共5页

引入了■-分配偏序集的概念并对其一些性质进行讨论,特别地,证明了:(1)偏序集P是■-分配的当且仅当由P中所有有限集生成的cut构成的集族也是■-分配的;(2)偏序集P是强代数的当且仅当P是预代数和■-分配的当且仅当P是严格无限分配和广义... 引入了■-分配偏序集的概念并对其一些性质进行讨论,特别地,证明了:(1)偏序集P是■-分配的当且仅当由P中所有有限集生成的cut构成的集族也是■-分配的;(2)偏序集P是强代数的当且仅当P是预代数和■-分配的当且仅当P是严格无限分配和广义强代数的。 展开更多

关键词 ■-分配偏序集 强代数偏序集 广义强代数偏序集

原文传递

关于连续偏序集的注记(英文)

19

作者 范丽红 贺伟 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2008年第1期21-25,共5页

研究了domain的推广——连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.

关键词 连续偏序集 Cartesian积 代数偏序集

在线阅读 下载PDF 职称材料

W-代数偏序集及其性质

20

作者 折海芳 赵彬 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第3期13-17,共5页

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证... 引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。 展开更多

关键词 W-代数偏序集 代数偏序集 Exact偏序集 弱Domain 局部基

在线阅读 下载PDF 职称材料