期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
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
伪的弱效应代数的同余和理想 被引量:4
3
作者 郭建胜 李永明 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第3期10-15,共6页
在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应... 在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示. 展开更多
关键词 伪效应代数 伪的弱效应代数 伪的弱差分偏序集 BL-效应代数 理想 同余 子直积
下载PDF
自由Dcpo和自由并完备格的结构和性质 被引量:1
4
作者 郭智莲 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第4期11-14,共4页
给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.
关键词 完备格 自由Dct30 自由并完备格 代数偏序集 强代数偏序集
下载PDF
WBR_0-代数的Pt-模和Ps-模表示 被引量:1
5
作者 王娜 吴洪博 《计算机工程与应用》 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
6
作者 信秀 李生刚 《陕西师范大学学报(自然科学版)》 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
7
作者 刘妮 《西南师范大学学报(自然科学版)》 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
偏蕴涵代数
8
作者 关晓红 王国俊 韩邦合 《南阳师范学院学报》 CAS 2006年第12期4-7,共4页
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.
关键词 效应代数 差分偏序集 偏蕴涵代数 MV代数
下载PDF
偏序集上的Fuzzy蕴涵代数及其性质
9
作者 王昭海 吴洪博 《重庆理工大学学报(自然科学)》 CAS 2016年第8期148-151,共4页
给出了偏序集上的Fuzzy蕴涵代数的概念,讨论了它的性质,并证明它在满足一定条件下可构成MV代数,也可构成Fuzzy R_0代数。
关键词 偏序集 蕴涵代数 性质
下载PDF
伪BCK代数与一类量子逻辑
10
作者 刘用麟 《武夷学院学报》 2009年第5期3-6,共4页
在文[8]中,Dvurecenskij和Kim建立了BCK代数与D-偏序集之间的联系,本文把它们的结果推广到非交换形式,给出了伪BCK代数与PD-偏序集之间的联系。
关键词 伪BCK代数 PD-偏序集
下载PDF
伪差偏序集的公理系统(英文)
11
作者 刘用麟 《南平师专学报》 2007年第2期1-4,共4页
伪差偏序集已经被引进作为一类新的量子逻辑结牺.本文证明了伪差偏序集定义中的公理(PD6)不是独立的,从而得到了一些较简单的公理系统,证明了伪差偏序集是 D-偏序集的非交换推广,正如伪效应代数是效应代数的非交换推广一样.
关键词 伪差偏序集 D-偏序集 伪效应代数
下载PDF
R-偏序集上的cpo,代数cpo与连续cpo 被引量:1
12
作者 武利刚 樊磊 高泾萍 《数学杂志》 CSCD 北大核心 2010年第5期871-876,共6页
本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.
关键词 R-偏序集 CPO 代数cpo 连续cpo
下载PDF
可数逼近偏序集的若干性质 被引量:1
13
作者 胡珺珺 张红霞 《江西师范大学学报(自然科学版)》 CAS 北大核心 2015年第3期276-280,共5页
可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.
关键词 可数逼近偏序集 可数Scott拓扑 代数可数逼近偏序集
下载PDF
关于连续偏序集的注记(英文)
14
作者 范丽红 贺伟 《南京师大学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期21-25,共5页
研究了domain的推广——连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.
关键词 连续偏序集 Cartesian积 代数偏序集
下载PDF
W-代数偏序集及其性质
15
作者 折海芳 赵彬 《陕西师范大学学报(自然科学版)》 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
有关量子逻辑的一个命题
16
作者 庄云标 《台州学院学报》 2005年第6期1-2,24,共3页
我们给出了量子逻辑中的一个命题的两种证明.
关键词 量子逻辑 效应代数 差分偏序集
下载PDF
Prinjective Ringel-Hall Algebras for Posets of Finite Prinjective Type
17
作者 Justyna KOSAKOWSKA 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2009年第7期1183-1190,共8页
In the present paper we investigate prinjective Ringel-Hall algebras, for prinjective modules over incidence algebras of posers of finite prinjective type. Results we obtain are analogous to these, given by C. M. Ring... In the present paper we investigate prinjective Ringel-Hall algebras, for prinjective modules over incidence algebras of posers of finite prinjective type. Results we obtain are analogous to these, given by C. M. Ringel, for representations of Dynkin quivers. In particular we give a description of prinjective Ringel-Hall algebras by generators and relations. 展开更多
关键词 prinjective modules poset representations Ringel-Hall algebras Hall polynomials
原文传递
一些量子结构的构造和Fuzzy有效空间
18
作者 尚云 李永明 《模糊系统与数学》 CSCD 2004年第z1期157-160,共4页
给出了Fuzzy有效空间的概念.利用偏序集上的特殊模糊子集构造了effect algebras,σ-effect algebras,orthoalgebras,orthomodular posets和σ-orthomodular posets.借助Fuzzy有效空间,得到了带有强序决定态系统的lattice effect algebra... 给出了Fuzzy有效空间的概念.利用偏序集上的特殊模糊子集构造了effect algebras,σ-effect algebras,orthoalgebras,orthomodular posets和σ-orthomodular posets.借助Fuzzy有效空间,得到了带有强序决定态系统的lattice effect algebras的一个表现定理. 展开更多
关键词 EFFECT algebraS orthoalgebras Orthomodular posetS 序决定态系统 Fuzzy有效空间
下载PDF
A Specialization of Prinjective Ringel-Hall Algebra and the associated Lie algebra 被引量:1
19
作者 Justyna KOSAKOWSKA 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2008年第10期1687-1702,共16页
In the present paper we describe a specialization of prinjective Ringel-Hall algebra to 1, for prinjective modules over incidence algebras of posets of finite prinjective type, by generators and relations. This gives ... In the present paper we describe a specialization of prinjective Ringel-Hall algebra to 1, for prinjective modules over incidence algebras of posets of finite prinjective type, by generators and relations. This gives us a generalisation of Serre relations for semisimple Lie algebras. Connections of prinjective Ringel-Hall algebras with classical Lie algebras are also discussed. 展开更多
关键词 Ringel-Hall algebras Lie algebras prinjective modules poset representations
原文传递
■-分配偏序集
20
作者 李鑫硕 陈家浩 张文锋 《模糊系统与数学》 北大核心 2023年第6期105-109,共5页
引入了■-分配偏序集的概念并对其一些性质进行讨论,特别地,证明了:(1)偏序集P是■-分配的当且仅当由P中所有有限集生成的cut构成的集族也是■-分配的;(2)偏序集P是强代数的当且仅当P是预代数和■-分配的当且仅当P是严格无限分配和广义... 引入了■-分配偏序集的概念并对其一些性质进行讨论,特别地,证明了:(1)偏序集P是■-分配的当且仅当由P中所有有限集生成的cut构成的集族也是■-分配的;(2)偏序集P是强代数的当且仅当P是预代数和■-分配的当且仅当P是严格无限分配和广义强代数的。 展开更多
关键词 ■-分配偏序集 强代数偏序集 广义强代数偏序集
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部