期刊文献+
共找到252篇文章
< 1 2 13 >
每页显示 20 50 100
否定非对合剩余格的LI-理想理论 被引量:21
1
作者 刘春辉 《高校应用数学学报(A辑)》 CSCD 北大核心 2015年第4期445-456,共12页
综合运用泛代数和格序理论的方法和原理研究否定非对合剩余格的理想问题.首先,在否定非对合剩余格L中引入LI-理想以及由L的非空子集生成的LI-理想的概念并考察它们的相关性质.其次,在L的全体LI-理想之集Id(L)上定义了格运算和,证明了(Id... 综合运用泛代数和格序理论的方法和原理研究否定非对合剩余格的理想问题.首先,在否定非对合剩余格L中引入LI-理想以及由L的非空子集生成的LI-理想的概念并考察它们的相关性质.其次,在L的全体LI-理想之集Id(L)上定义了格运算和,证明了(Id(L),?,,)构成一个分配的连续格,从而构成一个Frame.然后,在L中引入素LI-理想概念并讨论其性质,建立了预线性否定非对合剩余格的素LI-理想定理.最后,借助于素LI-理想之特性获得了预线性否定非对合剩余格的LI-理想格(Id(L),?,,)中素元的若干等价刻画. 展开更多
关键词 否定非对合剩余格 LI-理想 素LI-理想 代数格 连续格 素元
下载PDF
STRONGLY ALGEBRAIC LATTICES AND CONDITIONS OF MINIMAL MAPPING PRESERVING INFS 被引量:8
2
作者 XU XIAOQUAN 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1994年第1期105-114,共10页
The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under whic... The tabor gives some characterizations of strongly algebraic lattices, and proves that thecategory of strongly algebraic lattices is complete and cocomplete. Finally, this paper gives thecomplete conditions under which the minimal mapping β: L→2L on a completely distributivelattice L preserves finite infs and arbitrary infs. 展开更多
关键词 Strongly algebraic lattice Category of strongly algebraic lattices Completeness and cocompleteness Minimal mapping.
原文传递
Q-代数中的粗糙理想
3
作者 梁少辉 魏博涛 +1 位作者 周婉婷 王美丽 《模糊系统与数学》 北大核心 2024年第2期62-68,共7页
首先,给出了Q-代数中粗糙集的概念,讨论了Q-代数中粗糙集的一系列重要性质,将粗糙集理论引入Q-代数中。其次,提出了Q-代数中的粗糙理想的定义,探讨了Q-代数中理想与粗糙理想的相互关系。最后,引入了Q-代数中弱同余的概念,得到了弱同余... 首先,给出了Q-代数中粗糙集的概念,讨论了Q-代数中粗糙集的一系列重要性质,将粗糙集理论引入Q-代数中。其次,提出了Q-代数中的粗糙理想的定义,探讨了Q-代数中理想与粗糙理想的相互关系。最后,引入了Q-代数中弱同余的概念,得到了弱同余的一些刻画,证明了Q-代数中的所有上粗糙理想之集是dcpo,Q-代数中所有下粗糙理想之集是代数格。 展开更多
关键词 QUANTALE Q-代数 粗糙集 粗糙理想 代数格
原文传递
泛逻辑学中UB代数系统的若干性质 被引量:4
4
作者 肖云萍 邹庭荣 《计算机工程与应用》 CSCD 北大核心 2007年第21期72-74,共3页
文[1]提出了理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到一些有趣的结果,这些结果对UB代数的进一步研究是有用的。
关键词 泛逻辑 UB代数 有界格 模糊逻辑 伴随对
下载PDF
Fuzzy MP-filters Lattice on a Given FI-algebra 被引量:3
5
作者 LIU Chun-hui XU Luo-shan 《Chinese Quarterly Journal of Mathematics》 CSCD 2013年第4期625-632,共8页
In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, par... In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame. 展开更多
关键词 FI-algebra fuzzy MP-filter algebraic lattice continuous lattice
下载PDF
Fuzzy蕴涵代数的犹豫模糊滤子格 被引量:3
6
作者 刘春辉 《模糊系统与数学》 北大核心 2021年第4期30-39,共10页
对Fuzzy蕴涵代数的犹豫模糊滤子问题作进一步深入研究。引入了由Fuzzy蕴涵代数上的一个犹豫模糊集生成的犹豫模糊滤子概念,给出了其基本性质并建立了其表示定理。证明了一个Fuzzy蕴涵代数(X,→,0)的全体犹豫模糊滤子之集HFil(X)在犹豫... 对Fuzzy蕴涵代数的犹豫模糊滤子问题作进一步深入研究。引入了由Fuzzy蕴涵代数上的一个犹豫模糊集生成的犹豫模糊滤子概念,给出了其基本性质并建立了其表示定理。证明了一个Fuzzy蕴涵代数(X,→,0)的全体犹豫模糊滤子之集HFil(X)在犹豫模糊包含序?H下构成一个分配的连续(代数)格,从而构成一个Frame. 展开更多
关键词 FUZZY蕴涵代数 犹豫模糊滤子 生成犹豫模糊滤子 连续格 代数格 FRAME
原文传递
代数格的拓扑刻画 被引量:1
7
作者 罗淑珍 《江西师范大学学报(自然科学版)》 CAS 北大核心 2009年第6期640-642,共3页
利用拓扑学理论讨论了代数格,强代数dcpo以及强代数格上的Scott拓扑,得出了一个拓扑若是超-coherent的当且仅当它与某个强代数dcpo上的Scott拓扑一致,其超紧基在交运算下非空且封闭当且仅当它是某个代数格上的Scott拓扑.
关键词 代数格 强代数dcpo 超-coherent
下载PDF
布尔代数的最小化──离散数学教改谈 被引量:1
8
作者 萧昌建 《成都大学学报(自然科学版)》 1998年第4期17-21,共5页
本文针对布尔代数的三种定义,分析它们的通缉结构,讨论要理解它们所需的知识与素养上的准备,说明它们与学习者的能力的关系。从而得出对不同层次学生的不同讲法和适用矜三年制计算机应用与维护专业的用最少学时在最少前提下布尔代数... 本文针对布尔代数的三种定义,分析它们的通缉结构,讨论要理解它们所需的知识与素养上的准备,说明它们与学习者的能力的关系。从而得出对不同层次学生的不同讲法和适用矜三年制计算机应用与维护专业的用最少学时在最少前提下布尔代数的讲法。 展开更多
关键词 运算体 布尔代数 离散数学 最小化 教学改革
下载PDF
伽罗瓦联络格的特性
9
作者 李小光 《西安航空学院学报》 2014年第3期63-66,共4页
对于任意完备格P,Q,研究Γ(P,Q)是从P到Q所有伽罗瓦联络形成的集合。在逐点序的条件下,Γ(P,Q)是一个完备格。讨论Γ(P,Q)性质中的格理论,特别是Γ(P,Q)和完备格Q在代数模和分配性之间的相互关系。伽罗瓦联络的特性对信息理论研究具有... 对于任意完备格P,Q,研究Γ(P,Q)是从P到Q所有伽罗瓦联络形成的集合。在逐点序的条件下,Γ(P,Q)是一个完备格。讨论Γ(P,Q)性质中的格理论,特别是Γ(P,Q)和完备格Q在代数模和分配性之间的相互关系。伽罗瓦联络的特性对信息理论研究具有一定的理论意义。 展开更多
关键词 伽罗瓦联络 完备格 代数格 无限交分配性 分配格
下载PDF
软泛代数及其整体结构性质
10
作者 崔靖 徐罗山 《模糊系统与数学》 CSCD 北大核心 2012年第5期67-71,共5页
提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格。引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给... 提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格。引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格。 展开更多
关键词 软泛代数 Scott连续 完备格 代数格
原文传递
半Smooth格 被引量:11
11
作者 徐菲 徐晓泉 《江西师范大学学报(自然科学版)》 CAS 北大核心 2008年第1期22-25,共4页
该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.
关键词 半Scott闭集 半Smooth格 半Smooth代数格 半连续格
下载PDF
格上BR_0-代数结构的表示定理 被引量:6
12
作者 乔希民 吴洪博 《山东大学学报(理学版)》 CAS CSCD 北大核心 2010年第9期38-42,共5页
利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R0-代数结构的表达形式。
关键词 模糊逻辑 BR0-代数结构 有界分配格 有界格 表示定理
原文传递
S_2-代数偏序集 被引量:3
13
作者 张文锋 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2015年第5期71-74,共4页
引入了S_2-代数偏序集的概念,证明了偏序集为S_2-代数的当且仅当其上弱Scott拓扑为强代数格,即完全分配的代数格。
关键词 S2-连续偏序集 S2-代数偏序集 弱Scott拓扑 强代数格 代数格 完全分配格
原文传递
Z-连通代数偏序集及其范畴 被引量:5
14
作者 阮小军 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2009年第2期46-51,共6页
对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。
关键词 Z-连通集系统 Z-连通连续偏序集 Z-连通代数偏序集 强代数格
下载PDF
Scott闭集格的C-代数性及其应用 被引量:5
15
作者 何青玉 徐罗山 《高校应用数学学报(A辑)》 CSCD 北大核心 2014年第3期369-374,共6页
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.
关键词 拟C-连续性 C-代数格 性质M SCOTT拓扑 Sober
下载PDF
有界Heyting代数及其理想理论 被引量:4
16
作者 刘春辉 《模糊系统与数学》 北大核心 2022年第5期54-68,共15页
运用泛代数和格理论的方法和原理研究有界Heyting代数及其理想问题。首先,给出了有界Heyting代数的若干新性质。其次,在有界Heyting代数(H,≤,→,0,1)中引入理想及由H的非空子集生成的理想概念并考察它们的性质和刻画。再次,分析了H的... 运用泛代数和格理论的方法和原理研究有界Heyting代数及其理想问题。首先,给出了有界Heyting代数的若干新性质。其次,在有界Heyting代数(H,≤,→,0,1)中引入理想及由H的非空子集生成的理想概念并考察它们的性质和刻画。再次,分析了H的理想与格理想以及滤子三个概念之间的关系。最后,讨论了H的全体理想之集ID(H)的格结构特征,证明了ID(H)在集合包含序?下构成完备Heyting代数和分配的连续(代数)格,进而构成一个Frame. 展开更多
关键词 有界Heyting代数 理想 生成理想 完备Heyting代数 分配连续(代数)格 FRAME
原文传递
ZC-连续格 被引量:1
17
作者 刘一南 杨金波 晏莹 《模糊系统与数学》 CSCD 北大核心 2014年第1期65-71,共7页
对于广义理想子集系统Z,引入ZC-连续格和ZC-代数格的概念,讨论它们的一些性质。特别地,证明当ZC-连续格P中的关系Z满足插入性质时,P可嵌入到方体中。
关键词 ZC-连续格 ZC-代数格 C-连续格 半Smooth格
原文传递
广义代数格的可加性与T_0拓扑 被引量:2
18
作者 邓自克 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第5期1-3,36,共4页
证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的 ,进而证明可加广义代数格之范畴等价于 T0 拓扑空间之范畴 .因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用 .
关键词 完全格 可加性 广义代数格 T0拓扑空间 格论 WAY-BELOW关系 拓扑表现定理
下载PDF
可加广义代数格上的Tietze扩张定理 被引量:2
19
作者 陈学友 李庆国 +1 位作者 龙飞 邓自克 《数学物理学报(A辑)》 CSCD 北大核心 2007年第1期102-108,共7页
可加的广义代数格范畴与T0拓扑空间范畴相等价,从这个观点出发,作者把可加广义代数格作为一个闭集格,在其上建立Urysohn引理和Tietze扩张定理.这是拓扑理论在格上的一种新推广,有助于格上拓扑理论的研究和广义连续格理论的应用.
关键词 完备格 广义代数格 可加性 下同态
下载PDF
广义Smooth格 被引量:1
20
作者 姚丽娟 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2009年第1期92-96,共5页
作为由Weng所引入的smooth格和Scott紧生成格的推广,引入了广义smooth格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格。
关键词 SMOOTH格 广义smooth格 广义smooth代数格 smooth同态
下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部