吴洪博
- 作品数：229 被引量：464H指数：17
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：理学自动化与计算机技术哲学宗教更多>>
- 强并半格中的C-滤子及其应用被引量：5
- 2015年
- 首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.
- 吴洪博寇海燕
- 关键词：同构定理
- NBL^＊形式系统
- 2008年
- 将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL*的公理,进而得到其上的[F]完备性和广义演绎定理成立,即NBL*形式系统与非交换BR0代数之间具有一定的和谐性.
- 王伟华吴洪博
- 模糊集合的对偶分解定理
- 在定义下截集的基础上,给出了用论域 X 的若干经典子集的交来表示模糊集的分解定理,并加以证明。
- 龚加安吴洪博
- 关键词：模糊集分解定理
- 文献传递
- 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代数
- IMTL-代数的零化算子和⊕理想及其相互关系
- 2017年
- 主要对IMTL-代数中的零化算子和⊕理想的性质及其相互关系进行了研究。首先,将零化算子的概念引入到IMTL-代数中,在IMTL-代数中分别讨论了单点零化算子,多点零化算子的性质;其次,将⊕理想的概念引入IMTL-代数中,并对⊕理想的基本性质进行了讨论;最后,给出了IMTL-代数上零化子和⊕理想之间的相互依赖的关系和相互决定的方法。
- 王伦磊吴洪博
- 关键词：模糊逻辑逻辑代数
- 16种基础R_0-代数结构的相对独立公理系统被引量：3
- 2012年
- 在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性。
- 乔希民吴洪博罗俊丽
- 关键词：模糊代数相对独立性
- 伪MTL代数的性质及其滤子
- 2008年
- 介绍了伪MTL代数的一些重要性质,引入了伪MTL代数的滤子、素滤子以及极大滤子的概念,研究了它们的性质以及它们之间的关系。
- 张红杰吴洪博
- 关键词：滤子素滤子
- Ln^＊系统中理论的相对发散度和相对相容度被引量：3
- 2011年
- 利用公式的ΣΓ-真度(文中称为相对真度)理论,在模糊命题逻辑系统Ln*中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念。对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系。同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画。
- 崔艳丽吴洪博
- 弱MTL-代数上的几种演绎系统及其商代数被引量：2
- 2016年
- 首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。
- 王伦磊吴洪博
- 关键词：逻辑代数同余关系商代数
- ￡~*-Lindenbaum代数中的商理想
- 2010年
- 利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如<┐D(Γ)>的形式.
- 马巧云吴洪博
