期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
非可换线性逻辑及其Quantale语义 被引量:15
1
作者 李永明 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第2期1-5,共5页
扩充了V .M .Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 .
关键词 非可换线性逻辑 对偶quantale 语义
下载PDF
基于左连续伪T-模的非可换模糊逻辑系统PUL* 被引量:7
2
作者 张小红 《数学进展》 CSCD 北大核心 2007年第3期295-308,共14页
对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL*,证明了它的可靠性定理.同时,以PUL*系统的Lindenbaum代数结构为背景引入PUL*.代数概念,建立了相应的滤子理论,得到PUL*-代数... 对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL*,证明了它的可靠性定理.同时,以PUL*系统的Lindenbaum代数结构为背景引入PUL*.代数概念,建立了相应的滤子理论,得到PUL*-代数的正规素滤子定理,借此证明了PUL*系统的完备性. 展开更多
关键词 伪T-模 非可换模糊逻辑系统PUL* 正规素滤子定理 完备性
下载PDF
模糊BIK^+-逻辑与非可换模糊逻辑(英文) 被引量:5
3
作者 张小红 Wieslaw A. Dudek 《模糊系统与数学》 CSCD 北大核心 2009年第4期8-20,共13页
为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间... 为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。 展开更多
关键词 模糊BCK-逻辑 非可换模糊逻辑 模糊BIK+-逻辑 FBIK+-代数(FBCC-代数) 素滤子
下载PDF
BIK^+-逻辑与非可换模糊逻辑 被引量:2
4
作者 张小红 《模糊系统与数学》 CSCD 北大核心 2007年第6期31-36,共6页
引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。
关键词 BIK^+-逻辑 BCK-逻辑 非可换模糊逻辑 BCC-代数
下载PDF
非可换的奇异l-群 被引量:2
5
作者 吕新民 《纯粹数学与应用数学》 CSCD 2002年第2期178-181,共4页
通过建立奇异元以及奇异 l-群的刻划 ,研究了一般非可换的奇异
关键词 非可换 奇异l-群 奇异元 性质 结构
下载PDF
伪对合剩余格(非可换)与伪效应代数(英文)
6
作者 张小红 樊雪双 《模糊系统与数学》 CSCD 北大核心 2010年第1期1-13,共13页
提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制... 提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。 展开更多
关键词 非可换模糊逻辑 量子结构 格伪效应代数 部分运算 伪对合剩余格 滤子
下载PDF
存在n阶非可换的充要条件
7
作者 郝秀梅 《青岛大学学报(自然科学版)》 CAS 1997年第4期97-99,共3页
设n〉1为整数。本文给出了存在n阶非可换环的充要条件,并讨论了低阶非可换环的状况。
关键词 非可换 循环环
下载PDF
非可换正定关联BCK-代数
8
作者 白根柱 《内蒙古师范大学学报(自然科学汉文版)》 CAS 1995年第4期25-26,共2页
非可换正定关联BCK-代数白根柱(内蒙古民族师范学院数学系)我们在文[3]中证明了正定关联BCK-代数的Iseki扩张是正定关联BCK-代数,本文对关联BCK-代数的Iseki扩张进行探讨。为便于叙述先给出几个定义 ̄... 非可换正定关联BCK-代数白根柱(内蒙古民族师范学院数学系)我们在文[3]中证明了正定关联BCK-代数的Iseki扩张是正定关联BCK-代数,本文对关联BCK-代数的Iseki扩张进行探讨。为便于叙述先给出几个定义 ̄[1,2]。定义1设X=<X;0>... 展开更多
关键词 非可换 正定关联 BCK-代数 抽象代数
下载PDF
区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的构造 被引量:9
9
作者 乔希民 吴洪博 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期127-133,共7页
以区间集和滤子理论作为研究区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的工具,通过引入区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的概念,讨论了生成〈∈,∈■Q〉-fuzzy滤子的几种方法,彰显模糊逻辑推演系统被视为代数滤子的镜像.
关键词 非可换模糊逻辑 区间集 区间集上剩余格 〈∈ Q〉-fuzzy滤子 构造性方法
下载PDF
区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的特征刻画 被引量:10
10
作者 乔希民 吴洪博 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2015年第6期1127-1133,共7页
基于区间集思想与滤子理论,讨论区间集上非交换剩余格与区间集上非交换剩余格Fuzzy滤子,给出了区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的代数结构及若干等价性特征刻画的表示定理.
关键词 非可换模糊逻辑 区间集 区间集上剩余格 〈∈ ∈∪Q〉-Fuzzy滤子 特征刻画
下载PDF
非可换模糊逻辑系统PL~*及其完备性 被引量:8
11
作者 张小红 《数学学报(中文版)》 SCIE CSCD 北大核心 2007年第2期421-442,共22页
首先建立了非可换R0 t-模,以此为语义背景将模糊逻辑形式系统L^*拓广到非可磬情形,提出了新的模糊逻辑形式系统PL^*,证明了系统PL^*的可靠性定理.其次,引入PL^*-代数及其滤子概念,得到PL^*-代数的正规素滤子定理,借此证明了... 首先建立了非可换R0 t-模,以此为语义背景将模糊逻辑形式系统L^*拓广到非可磬情形,提出了新的模糊逻辑形式系统PL^*,证明了系统PL^*的可靠性定理.其次,引入PL^*-代数及其滤子概念,得到PL^*-代数的正规素滤子定理,借此证明了PL^*系统的完备性.最后说明了PR0 t-模及PL^*系统可能的应用方向. 展开更多
关键词 伪T-模 非可换模糊逻辑 正规素滤子定理
原文传递
伪MTL-代数(WPBL-代数)的正规滤子 被引量:8
12
作者 张小红 刘三阳 刘用麟 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第5期829-832,共4页
给出伪MTL-代数(WPBL-代数)的一些新性质,通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)... 给出伪MTL-代数(WPBL-代数)的一些新性质,通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)的商代数结构。 展开更多
关键词 非可换模糊逻辑 伪MTL-代数 WPBL-代数 正规滤子 反例 商代数
下载PDF
区间集上非交换剩余格的〈∈,∈∪〉-fuzzy滤子及其特征刻画 被引量:11
13
作者 乔希民 吴洪博 《山东大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期102-107,共6页
以区间集思想作为研究工具,讨论非交换剩余格和滤子理论,引入区间集上非交换剩余格与区间集上非交换剩余格fuzzy滤子的概念,给出区间集上非交换剩余格〈∈,∈∪Q〉-fuzzy滤子的代数结构,进一步得到若干等价性特征刻画,并对表示定理的充... 以区间集思想作为研究工具,讨论非交换剩余格和滤子理论,引入区间集上非交换剩余格与区间集上非交换剩余格fuzzy滤子的概念,给出区间集上非交换剩余格〈∈,∈∪Q〉-fuzzy滤子的代数结构,进一步得到若干等价性特征刻画,并对表示定理的充分必要条件予以证明。 展开更多
关键词 非可换模糊逻辑 区间集 区间集上剩余格 〈∈ ∈∪〉-fuzzy滤子 特征刻画
原文传递
强剩余BCC-代数及其正规素滤子定理
14
作者 张小红 邵志清 王永全 《华东理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第6期928-933,共6页
作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系。研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概... 作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系。研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果。 展开更多
关键词 剩余BCC-代数 强剩余BCC-代数 正规滤子 素滤子定理 非可换模糊逻辑
下载PDF
强伪Ockham代数与剩余格
15
作者 张隆传 张小红 《宁波大学学报(理工版)》 CAS 2010年第3期74-78,共5页
引入了伪Ockham代数的概念,讨论了伪Ockham代数与剩余格的关系.进一步引入强伪Ockham代数概念,并给出了它的基本性质.然后,将著名的R0蕴涵和R0算子推广到伪Ockham代数上,证明了添加广义R0蕴涵和广义R0算子后的伪Ockham代数L成为剩余格... 引入了伪Ockham代数的概念,讨论了伪Ockham代数与剩余格的关系.进一步引入强伪Ockham代数概念,并给出了它的基本性质.然后,将著名的R0蕴涵和R0算子推广到伪Ockham代数上,证明了添加广义R0蕴涵和广义R0算子后的伪Ockham代数L成为剩余格的充要条件是L为强伪Ockham代数.最后给出注记,以此说明强伪Ockham代数的条件是独立的. 展开更多
关键词 非可换模糊逻辑 伪Ockham代数 剩余格 强伪Ockham代数
下载PDF
CENTRAL ELEMENT OF MATRIX RING ON FIELD
16
作者 Hao Xiumei (Dept.of Math.,Shandong Finance Institute,Jinan 250014) 《Numerical Mathematics A Journal of Chinese Universities(English Series)》 SCIE 2000年第S1期105-108,共4页
In this paper,not only various characterizations of central element of matrix ring aregiven,but also the index of central element of matrix ring is decided.Finally,an addition-al discussion on those problems is provid... In this paper,not only various characterizations of central element of matrix ring aregiven,but also the index of central element of matrix ring is decided.Finally,an addition-al discussion on those problems is provided too.1 展开更多
关键词 高等代数 非可换 充要条件 北京大学 数学系 教育出版社 上工 大学学报 回回 青岛
下载PDF
Dirac Operator on Fuzzy Sphere with U(1) Dirac Monopole Background
17
作者 XIONGChuan-Hua YUERui-Hong 《Communications in Theoretical Physics》 SCIE CAS CSCD 2004年第2X期247-250,共4页
We treat the Dirac operator on the Fuzzy sphere with the help of the generalized coherent state. It is shown that the derivatives can be constructed by Moyal product with symbol of the operator. We obtain the eigenval... We treat the Dirac operator on the Fuzzy sphere with the help of the generalized coherent state. It is shown that the derivatives can be constructed by Moyal product with symbol of the operator. We obtain the eigenvalue of the free fermion Dirac operator as same as the result by [Hajime Aoki, Satoshi Iso, and Kelichi Nagao, Phys. Rev.D67 (2003) 065018]. Meanwhile, we also give the eigenvalue of Dirac operator with U(1) Dirac monopole background. 展开更多
关键词 狄拉克算符 非可换 Moyal积符号 量子霍尔效应 理论物理 广义相关态
下载PDF
ZC—环与Von Neumann正则环
18
作者 王建平 《安徽师大学报》 1990年第4期19-23,共5页
本文将已有的一些可换环的结论推广到一类非可换环上去,同时还改进了某些结论,得到了如下主要结果: 设A是零因子可换环,那么以下条件等价: (1)A是正则环; (2)A是V-环且A的每个极大本质左理想是双边; (3)每个单奇异A-模是P-内射的,且A的... 本文将已有的一些可换环的结论推广到一类非可换环上去,同时还改进了某些结论,得到了如下主要结果: 设A是零因子可换环,那么以下条件等价: (1)A是正则环; (2)A是V-环且A的每个极大本质左理想是双边; (3)每个单奇异A-模是P-内射的,且A的每个极大本质左理想是双边的; (4)A的每个极大本质左理想是P-内射的; (5)A的每个本质左零化子是P-内射的; (6)存在忠实左A-模C使当d∈C且l(d)是本质的时,l(d)是P-内射的; (7)A中每个主左理想是平坦左零化子, (8)A包含极大左理想五使当k∈K且,l(K)是本质的时,l(k)是P-内射的。 展开更多
关键词 ZC-环 正则环 P-内射模 非可换
下载PDF
迷你“奶昔” SONY NEX-C3S
19
作者 师毅 《个人电脑》 2011年第9期40-42,共3页
要说最近一年什么相机最热门的话,那么非可换镜头数码相机莫属,这点从我日常参加的发布会上就可见一斑:往日举着“长枪短炮”各式单反的记者们纷纷炮换“鸟枪”——用起来轻便小巧而且画质不逊单反的可换镜头数码相机。
关键词 奶昔 迷你 数码相机 非可换 镜头 单反
下载PDF
【便携画质两不误】 SAMSUNG NX100
20
作者 师毅 《个人电脑》 2011年第1期44-45,共2页
如果评选2010年最热门的相机类型,则非可换镜头式数码相机莫属。凭借可以和数码单反相机媲美的画质以及良好的便携性,赢得了不少摄影爱好者,特别是喜欢随身携带相机外出的摄影爱好者的青睐。
关键词 SAMSUNG 画质 摄影爱好者 数码相机 数码单反相机 非可换 便携性
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部