您的位置: 专家智库 > >

吴洪博

作品数:230 被引量:475H指数:17
供职机构:陕西师范大学更多>>
发文基金:国家自然科学基金陕西省自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域:理学自动化与计算机技术哲学宗教更多>>

文献类型

  • 227篇期刊文章
  • 3篇会议论文

领域

  • 226篇理学
  • 4篇自动化与计算...
  • 1篇哲学宗教

主题

  • 103篇代数
  • 79篇模糊逻辑
  • 35篇逻辑系统
  • 33篇逻辑代数
  • 28篇滤子
  • 27篇BR
  • 23篇真度
  • 22篇剩余格
  • 21篇BR0代数
  • 20篇命题演算
  • 18篇拓扑
  • 16篇定理
  • 16篇算子
  • 15篇R0-代数
  • 14篇命题逻辑
  • 12篇同余
  • 12篇同余关系
  • 12篇重言式
  • 10篇度量空间
  • 10篇R0代数

机构

  • 217篇陕西师范大学
  • 23篇西安文理学院
  • 17篇商洛学院
  • 13篇唐山师范学院
  • 10篇商洛职业技术...
  • 6篇安康学院
  • 6篇四川大学
  • 6篇汉中职业技术...
  • 6篇广州工商学院
  • 4篇河西学院
  • 1篇西南交通大学
  • 1篇西北大学
  • 1篇岳阳师范学院
  • 1篇中国农业大学
  • 1篇石家庄市第二...

作者

  • 230篇吴洪博
  • 16篇马巧云
  • 15篇周建仁
  • 15篇龚加安
  • 12篇于鸿丽
  • 11篇乔希民
  • 9篇崔艳丽
  • 8篇王昭海
  • 7篇李海霞
  • 7篇代建云
  • 7篇张秋霞
  • 6篇文秋梅
  • 6篇张琼
  • 6篇李小杰
  • 5篇寇海燕
  • 5篇王娜
  • 4篇张红杰
  • 4篇汪宁
  • 4篇邵晓丽
  • 4篇娄银华

传媒

  • 45篇模糊系统与数...
  • 26篇计算机工程与...
  • 18篇山东大学学报...
  • 17篇云南师范大学...
  • 13篇吉林大学学报...
  • 11篇纺织高校基础...
  • 8篇电子学报
  • 8篇工程数学学报
  • 5篇数学学报(中...
  • 5篇四川大学学报...
  • 5篇纯粹数学与应...
  • 5篇陕西师范大学...
  • 4篇南阳师范学院...
  • 4篇西安文理学院...
  • 4篇安康学院学报
  • 3篇河南师范大学...
  • 3篇西北大学学报...
  • 2篇数学进展
  • 2篇数学的实践与...
  • 2篇计算机学报

年份

  • 1篇2024
  • 5篇2022
  • 4篇2021
  • 1篇2020
  • 8篇2019
  • 10篇2018
  • 6篇2017
  • 15篇2016
  • 13篇2015
  • 11篇2014
  • 13篇2013
  • 11篇2012
  • 17篇2011
  • 15篇2010
  • 20篇2009
  • 31篇2008
  • 13篇2007
  • 10篇2006
  • 1篇2005
  • 2篇2004
230 条 记 录,以下是 1-10
排序方式:
强并半格中的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-代数。
王伦磊吴洪博
关键词:逻辑代数同余关系商代数
2^n-布尔值逻辑:2-值命题逻辑的自然推广被引量:1
2013年
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑。同时本文给出了2n-布尔值命题逻辑应用的一些例子。
周建仁吴洪博
关键词:命题逻辑布尔代数
共23页<12345678910>
聚类工具0