国家自然科学基金(10471083)
- 作品数：106 被引量：317H指数：11
- 相关作者：吴洪博赵彬韩胜伟龚加安代建云更多>>
- 相关机构：陕西师范大学集美大学商洛职业技术学院更多>>
- 发文基金：国家自然科学基金福建省自然科学基金江西省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术天文地球更多>>
- Luk-Lindenbaum代数中的*滤子
- 2008年
- 从＊运算出发定义了＊滤子，利用格论的相关知识，对公式子集D（Г）进行研究。主要结果是：（1）Luk-Lin-denbaum代数F（S）／～中的＊滤子都是（D（Г））形式的；（2）＊滤子与MP滤子一致，都是通常意义下的滤子；（3）F（S）／～中的极大＊滤子与通常意义下的极大滤子是一致的。
- 李海霞吴洪博
- 关键词：模糊逻辑滤子极大滤子
- On ω-Molecular Lattices
- ＜正＞ Since the theory of topological molecular lattices was established by wang[14-16], a series of profound re...
- 陈水利
- 文献传递
- R_0代数的Fuzzy子代数与Fuzzy关联MP滤子被引量：5
- 2008年
- 引入了R0代数的Fuzzy子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性。
- 李海霞吴洪博
- 关键词：模糊逻辑R0代数FUZZY子代数
- 内导集与内导集运算被引量：3
- 2008年
- 给出了内导集的定义,证明了其性质,并且讨论了内导集与导集之间的关系.随之定义了内导集运算,利用内导集运算定义了拓扑,并讨论了内导集运算条件之间的独立性.
- 王昭海吴洪博代建云李海霞
- 关键词：导集拓扑空间
- 基于概念格基本定理的属性约简被引量：2
- 2008年
- 研究了概念格属性约简理论,在更一般的形式背景(即对象集和属性集有限或无限)中,基于概念格基本定理,从新的角度给出协调集的判定,进而得到约简的判定.对属性集的分类做了进一步的刻画,改进了已有的结果.
- 张东晓陈水利
- 关键词：概念格属性约简协调集
- R_0代数中素理想及其性质被引量：3
- 2008年
- 首先通过在R0代数M中引入运算给出了M中的理想和素理想的概念,并讨论了它们的基本性质,得到了一些好的结论;然后在M的全体素理想之集PI(M)上构造了拓扑,并证了PI(M)是紧致的T0空间但不是T1的。
- 李小杰吴洪博
- 关键词：R0代数紧致空间
- 子Quantale的计数问题被引量：1
- 2008年
- 在Quantale理论中,子Quantale是Quantale的一个重要结构,对子Quantale的研究将有助于进一步了解Quantale的内部结构。本文利用映射的方法给出了平凡Quantale的概念,得到了平凡Quantale的具体刻画,并对有限Quantale的子Quantale的个数进行了讨论。最后证明了势为无限的Quantale有无限多个真子Quantale,只含有一个真子Quantale的Quantale的势为3。
- 韩胜伟赵彬
- 关键词：QUANTALE
- [0,1]上的一种逻辑度量结构被引量：3
- 2008年
- 在R0单位区间[0,1]上引入了一个逻辑度量ρ,从而([0,1],ρ)成为一个度量空间(本文中称"(R0单位)逻辑度量空间"),并对逻辑度量空间的结构及其性质进行了详尽的讨论,结果表明a∈(0,1),{a}即开又闭,而{0},{1}是闭集,但不是开集.
- 代建云吴洪博
- 关键词：模糊逻辑R0代数
- L^＊系统中的模糊演绎定理的改进形式被引量：8
- 2005年
- 研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步说明了L 系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L 系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.
- 吴洪博王小敏韩诚
- 关键词：模糊逻辑
- n值R_0^-命题逻辑系统L_n~*中公式的矛盾度理论被引量：1
- 2007年
- 将n值R0-命题逻辑系统Ln*中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ')。
- 张红杰吴洪博
- 关键词：差异度伪度量逻辑度量空间
