寇海燕
- 作品数：5 被引量：9H指数：2
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：理学更多>>
- 余Frame范畴中余积的构造被引量：5
- 2016年
- 首先,在并半格中引入了上覆盖关系的概念,并以此为基础引入强并半格以及强并半格中上覆盖和C-滤子的概念,证明了强并半格S中全体C-滤子之族C Fil（S）是余Frame,讨论了简单上集值映射u：S→C Fil（S）的相关并半格同态性质;其次,证明了由一族余Frame{A_λ｜λ∈Γ}的直积Π_（λ∈Γ）A_λ中只有有限个坐标非零的元素构成的子集A是强并半格,还证明了A是余Frame族{A_λ｜λ∈Γ}在并半格范畴中的余积对象;最后,通过各个坐标集中的上覆盖关系在A中定义了上覆盖C~＊,再结合简单上集值映射u：A→C~＊Fil（A）和标准入射qλ：Aλ→Π_（λ∈Γ）A_λ（λ∈Γ）,证明了强并半格A中由上覆盖C~＊诱导的余Frame C~＊Fil（A）是余Frame族{A_λ｜λ∈Γ}在余Frame范畴中的余积对象.
- 吴洪博寇海燕
- 关键词：余积
- 正则FI代数的MP滤子与同构基本定理被引量：2
- 2016年
- 正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数,它是BR0-代数和BL-代数的基础逻辑代数。基于经典代数的思想和方法,讨论了正则FI-代数的MP滤子与同构基本定理。引入正则FI-代数中MP滤子的概念,并讨论了其基本性质,给出了正则FI-代数中包含任意子集的最小MP滤子的构造方法;讨论了正则FI-代数的MP滤子和同余关系之间的内在联系;给出了正则FI-代数的同构基本定理。
- 寇海燕吴洪博
- 关键词：同余关系
- 强并半格中的C-滤子及其应用被引量：5
- 2015年
- 首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.
- 吴洪博寇海燕
- 关键词：同构定理
- MTL代数的Wajsberg形式及其应用
- 2015年
- MTL代数是一种重要的基础逻辑代数。本文采用Wajsberg方法,根据逻辑系统MTL中公理的形式,建立了NMTL代数的经典代数表示形式,进而证明了NMTL代数与MTL代数是同一代数结构,证明了满足条件x,y∈L,x→y=(y→0)→(x→0)的NMTL代数L是BR0代数。在此基础上证明了IMTL代数和BR0代数是同一代数结构,并给出BR0代数和BL代数的Wajsberg形式。
- 寇海燕吴洪博
- 关键词：模糊逻辑剩余格MTL代数BR0代数BL代数
- MTL代数及由其MP滤子型商代数的局部有限性被引量：1
- 2015年
- 首先,将局部有限方法引入到MTL代数中,提出了局部有限MTL代数的概念,给出了局部有限MTL代数的一些基本性质,证明了局部有限MTL代数的线性性质;其次,讨论了MTL代数的MP滤子的相关性质;最后,证明了由MP滤子诱导的商贷数M/F是局部有限的非退化MTL代数的充分必要条件是MP滤子是极大MP滤子;证明了每一个MTL代数可以嵌入到一族局部有限的MTL代数的直积MTL代数中。
- 寇海燕吴洪博
- 关键词：模糊逻辑MP滤子商代数
