偏序集合与格论属于《中国图书分类法》中的五级类目,该分类相关的期刊文献有1386篇,会议文献有29篇,学位文献有240篇等,偏序集合与格论的主要作者有赵彬、姜广浩、黎爱平,偏序集合与格论的主要机构有陕西师范大学数学与信息科学学院、陕西师范大学、淮北师范大学数学科学学院等。
统计的文献类型来源于 期刊论文、 学位论文、 会议论文
1.[期刊]
摘要: 连通性是最重要的拓扑性质之一。为了研究序结构与拓扑结构之间的联系,本文研究了偏序集在赋予不同拓扑后的连通性。主要结果有:(1)Scott拓扑连通当且仅当偏序集...
2.[期刊]
摘要: 滤子理论在多值逻辑及其相关代数的研究中扮演着重要的角色.在EBL-代数上引入蕴涵滤子、正蕴涵滤子以及Boolean滤子等概念,研究它们的性质和相关的等价刻画,...
3.[期刊]
摘要: 在基于二元关系的知识库中引入了相对约简与拓扑约简的概念,研究了它们的性质,证明了拓扑约简是特殊的相对约简.利用偏序集的极小元给出了有限知识库相对约简的存在性及...
4.[期刊]
摘要: 基于完备剩余格,在模糊dcpo中,引入了基的概念,利用基获得了模糊Domain的等价刻画,同时借助于模糊Galois联络,给出了模糊Domain基的连续扩张。
5.[期刊]
摘要: 作为Domain理论中交连续半格概念的推广,文章借助于相对way below关系引入相对辅助关系,给出相对逼近关系的概念,并研究其性质.引入相对交连续半格的概...
6.[期刊]
摘要: 本文对选择公理及其等价的一些形式进行了小结,并辅以应用实例.以帮助初学者更好的理解、学习和应用选择公理.
7.[期刊]
摘要: 本文利用余Frame和点集两部分建立由闭元确定的拓扑系统,对其基本性质进行了讨论;通过闭元给出了点集部分的闭包元概念,并对闭包元性质进行了讨论.在余Frame...
8.[期刊]
摘要: 首先,通过在m-半格中引入滤子的概念,讨论m-半格中滤子的若干性质,进而构造m-半格上的滤子拓扑,得到了滤子空间的一系列性质;其次,证明每个滤子空间是连通的,...
9.[期刊]
摘要: 研究幂等元剩余链,给出幂等元剩余链的另一种新的构造方法,并且得到这类剩余格的结构定理.
10.[期刊]
摘要: 首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念,给出Quantale的最大弱幂等商的等价刻画;然后证明弱幂等Quantale范畴是Qua...
11.[期刊]
摘要: 利用拓扑学的思想定义了形式背景的AE-仿紧性,给出了AE-仿紧背景的充分条件,研究了AE-仿紧背景的若干性质.证明了AE-仿紧性被适当的信息态射所保持,对一类...
12.[期刊]
摘要: 主要介绍九种可换逻辑的语义系统,它们是布尔代数,MV-代数,BL-代数,MTL-代数,剩余格,Hoops,半Hoops,EQ-代数和相等代数,并给出相应的例子...
13.[期刊]
摘要: 基于完备剩余格,本文在模糊完备格中,引入模糊Cut集概念.证明了所有的模糊Cut集构成的模糊集不仅是模糊完备格,而且还是模糊完全分配格.
14.[期刊]
摘要: 考虑Z-Quantale的表示问题.首先,证明任意单位Z-Quantale都同构于由其强Z-自连续映射所构成的Z-Quantale;其次,证明对于任意单位Z-...
15.[期刊]
摘要: 偏序集的理想在偏序集理论乃至在格论的研究中都起着十分重要的作用,而软集理论及其应用又在处理不确定性问题中有着巨大的潜力.故而将软集理论与偏序集的理想相结合,引...
16.[期刊]
摘要: 引入模糊有界完备domain和模糊Scott domain的概念,研究它们的模糊闭包算子的像以及模糊保序映射等一些基本的性质.证明在一定条件下,模糊有界完备d...
17.[期刊]
摘要: 研究矩阵核逆的相关性质和基于核逆的核偏序的等价刻画.通过对Pauli矩阵的矩阵类型、数值刻画、代数关系等的研究,得出Pauli矩阵的性质.利用Pauli矩阵的...
18.[期刊]
摘要: 本文回顾了模格、分配格和原子格及其相关条件下的定义、定理,对其中具有代表性的部分反例分成了两种类型进行了探究、讨论并给予了证明.
19.[期刊]
摘要: 在模糊拟度量空间中,给出元素之间的一种序关系及其与空间拓扑性质之间的联系。在此基础上,定义一种新的空间中子集上、下确界的概念;并证明在空间紧子集上,半连续映射...
20.[期刊]
摘要: 将双极值模糊集的概念与格相结合,引入格的双极值模糊子格的概念并考察其性质.证明双极值模糊子格的双极值模糊交集、同态像和同态原像也是双极值模糊子格.同时,给出双...
1.[会议]
摘要: 本文在剩余格中引入了次极大滤子的概念,研究了它的一些性质,给出了剩余格的滤子格成为空间式frame的一些充要条件.
2.[会议]
摘要: 偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.本文是在更弱的框架下,引入了基础蕴涵代数的概念,给出了基础蕴涵代数中蕴涵算子的一些逻辑性质,...
3.[会议]
摘要: 本文研究了代数sL-Domain,代数sL-Domain上的投射对以及子代数sL-Domain;给出了子代数sL-Domain的等价刻画,子代数sL-Doma...
4.[会议]
一类可被l-值Turing机识别和l-值O型文法生成的自然语言研究
摘要: 本文研究一类自然语言,l-值短语结构语言,这类语言能够被l-值O型文法,或称为无约束条件l-值文法所生成,并且能够被l-值Turing机所识别,因而刻划了这类...
5.[会议]
摘要: 余核和子Quantale是fauantale的重要组成部分本文对余核和预余核作了一些探讨,给出了Quantale上预余核的定义,并讨论了一些相关性质,以及预余...
6.[会议]
一类L-Fuzzy完备格与L-Fuzzy偏序集的Dedekind-MacNeille完备化
摘要: 基于[2]提出的L-fuzzy偏序集,定义了一类L-fuzzy完备格,它是通常完备格的推广;建立了L-fuzzy偏序集的Dedekind-MacNeille完...
7.[会议]
摘要: 本文给出了经典双向有穷自动机的即时描述,接受(识别)的语言及双向有穷自动机和有穷自动机是等价的,证明了它接受的语言是正则语言.由此,我们把它推广到模糊上去,相...
8.[会议]
摘要: 本文讨论了半连续格的一些基本性质.研究了半连续格上的一些拓扑性质,并定义了半连续格之间的映射,得出半连续格映射的像集是半连续格的条件,同时证明了半连续格的收缩...
9.[会议]
摘要: 本文主要研究了格值正则语言在水平结构意义下的交,并,补等运算的封闭性,给出了格值正则语言的水平结构关于这些运算的封闭或不封闭的条件.
10.[会议]
摘要: 在一个广义De Morgan格上,定义了一族超运算,然后利用它们来构造一个模糊超运算,最后得到了该模糊超运算的一些性质。
11.[会议]
摘要: 偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.本文根据逻辑系统中蕴涵算子逻辑运算的要求,讨论了偏序集上具有H性质的蕴涵代数的性质及H性质的...
12.[会议]
摘要: 研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表...
13.[会议]
摘要: 蕴涵格是MTL-代数的模式扩张,也是R0-代数和MV-代数的共同基础,因而研究蕴涵格具有重要意义.本文在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素...
14.[会议]
摘要: 研究有序观察系统与非空有底偏序集范畴POS上自函子的终结余代数之间的关系,证明POS上任何自函子F可以提升为有序观察结构范畴POStr上的自函子[·]。而且构...
15.[会议]
摘要: 系统研究了Quantic格范畴.证明了Quantic格范畴有等子、余等子.给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备...
16.[会议]
摘要: 在Lω空间中,借助于ω-连续的L值Zadeh型函数,给出ω-Tychonoff分离性的定义,并系统研究ω-Tychonoff分离性的特征性质.证明ω-Tych...
17.[会议]
摘要: 在偏序集中引入嵌入Z-基并根据嵌入Z-基建立Z-连续偏序集的表示定理.同时,将讨论抽象Z-基的Z-理想完备是Z-代数偏序集的条件.最后,我们深入探讨嵌入Z-基...
18.[会议]
摘要: 概念格是知识表示和数据分析的重要工具,单调概念格是概念格的推广.本文就Deogun等提出的单调概念格进行了两方面的研究:一,指出Deogun等提出的单调概念格...
19.[会议]
摘要: 在Lω-空间中引入分子网和理想的ωθ*-极限点、ωθ*-聚点等概念,证明ω-Urysohn空间中分子网和理想的ωθ*-极限点均唯一等特征性质,并证明ω-Ury...
20.[会议]
摘要: 在增量算法的基础上,讨论了对象增加和属性增加时概念格的维护方法,给出了概念格结构变化、更新概念、产生子概念的判定方法和具体的判定定理。
1.[学位]
摘要: Domain理论是D.S.Scott在70年代初提出来的,它给计算机函数式语言提供了指称语义.序结构和拓扑结构是在Domain理论中占据重要地位的数学结构,序...
2.[学位]
摘要: Dilworth与Crawley1973年提出能否去掉上半模格条件来刻画元素的不可约完全交既分解,以及能否去掉强原子格的条件刻画紧生成格结构的问题,本文首先证...
3.[学位]
摘要: 格是序结构和代数结构的结合体.从布尔格在命题演算和开关理论中的重要作用可以看出格的重要.近年来由于有序理论在组合数学、Fuzzy数学中的广泛应用,使得格理论逐...
4.[学位]
摘要: 格与群、环、域这些代数系统的不同之处在于格中存在序关系,即格是一个特殊的偏序集.由于它在计算机理论、保密学、开关理论和逻辑设计以及许多科学工程领域中有着重要的...
5.[学位]
摘要: Domain理论是格序理论与拓扑学的完美结合,不仅成为纯粹数学的一个新的研究方向,也在理论计算机科学中有重要应用. Scott拓扑将序结构和拓扑结构成功的结合...
6.[学位]
摘要: 自从Domain理论的产生,它研宄的一个重要方向是尽可能地将连续格(连续domain)理论推广至一般的格序结构上去.拟连续格(早期称广义连续格)被公认为是连续...
7.[学位]
摘要: 本学位文主要讨论了理想格的完全分配性,证明了对完备格L,理想格Id(L)是完全分配的当且仅当L是余素元有限并生成的.最后给出了一个超代数格的理想格不是超连续格...
8.[学位]
摘要: 本研究基于将拟连续偏序集分别推广至广义可数逼近偏序集与拟连续偏序集的思想,借助于正规完备化算子引入可数S2-拟连续偏序集的概念作为广义可数逼近偏序集与S2-拟...
9.[学位]
Ext-Fi-injective Modules and MPi-injective and MPi-flat Modules
摘要:
本文主要研究了环R上的几个新的模类,给出各自的刻画,推广了一些经典的结果.
第一部分,首先定义了Gorenstein FI-内射模和强Gorenst...
10.[学位]
摘要:
本文主要研究了偏序集上区间拓扑的分离性,包括T1,T3,T3和T4分离性.另外讨论了区间拓扑与Lawson拓扑和双Scott拓扑之间的关系.
第一章...
11.[学位]
摘要:
本文主要探讨了偏序集上的Z子集系统的若干性质,包括Z-Scott拓扑、Z-Lawson拓扑以及Z-Scott开滤子的一些性质.
第一章,引言中给出了...
12.[学位]
摘要: Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构,并成为函数式程序语言的指称语义.然而,随着计算机与网络的迅速发展,对非顺序式程序...
13.[学位]
摘要: Domain理论,作为序理论的一个分支,被广泛地应用于数学,逻辑,计算机科学等各个领域。在Domain理论中,一个最基本的概念是way below关系,由定向...
14.[学位]
摘要: Domain理论是拓扑学,格论以及范畴理论的交叉学科,而同时具有计算机应用背景.自上世纪七十年代产生以来,同时吸引着众多数学学者以及计算机程序语言学家的关注....
15.[学位]
摘要: 分配格是一种特殊的偏序集,也是一种具有两个二元运算且满足幂等性、交换律、结合律、吸收律和分配律的代数系统.而群是具有封闭性、满足结合律、具有单位元和逆元的数学...
16.[学位]
摘要: 在本篇论文中,首先构造了一个新的WP-Bailey格,相应给出了基本超几何级数的椭圆WP-Bailey格和WP-Bailey格的U(n+1)推广及其应用,从而...
17.[学位]
摘要: 形式概念分析是一种对形式背景中的数据进行分析和规则提取的理论,在本体研究、软件工程等众多领域有广泛应用。而随着网络技术快速发展,涌现出越来越多像folkson...
18.[学位]
摘要: 设F为Rd中的一个集族,M(C)Rd.若对于任意两个不同点x,y∈M,都存在一个集合F∈F,使得x,y∈F且F(C)M成立,则称集合M为F-凸的.若存在点x∈...
19.[学位]
摘要: 近年来,偏序集与格论在拓扑学、组合数学、模糊数学、粗糙集理论以及理论计算机科学中都得到了广泛的应用,它们之间有着密切的联系。本文主要在偏序集与格论的基础上,研...
20.[学位]
摘要: 本文研究了逆半群的正规子半群格的相关性质,刻画了任意逆半群S的正规子半群格和S的最大群同态像S/σ的正规子群格Subng(S/σ)之间的关系.其次证明了Bra...