云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(10871121)

国家自然科学基金(10871121): 作品数：79被引量：153H指数：6; 导出分析报告; 相关作者：吴洪博赵彬王昭海韩胜伟张琼更多>>; 相关机构：陕西师范大学西安文理学院安康学院西安邮电学院更多>>; 相关期刊：《数学的实践与认识》《工程数学学报》《西安工程大学学报》《吉林大学学报（理学版）》更多>>; 相关主题：QUANTALE模糊逻辑代数完备格逻辑代数更多>>; 相关领域：理学自动化与计算机技术更多>>

系统L_n中公式相对于有限理论的Σ_Γ-真度再研究被引量：2: 《模糊系统与数学》2017年第2期1-6,共6页于鸿丽吴洪博; 西安市科技计划项目(2016CXYWL23);国家自然科学基金资助项目(10871121); 利用真度定义的均值表示形式,在经典命题演算系统L_n中重新定义公式相对于有限理论Γ的∑_Γ-真度,较为详细地讨论了它们的性质,拓宽了真度理论的研究思路,丰富了现有研究成果。; 关键词：∑Г-真度有限理论系统Ln

系统L中公式相对于有限理论的Σ_Γ-真度再研究被引量：7: 《模糊系统与数学》2015年第5期16-20,共5页于鸿丽吴洪博; 西安市科技计划项目(CXY1443WL30);国家自然科学基金资助项目(10871121); 利用真度定义的均值表示形式,在经典二值命题演算系统L中重新定义公式相对于有限理论的Σ_Γ-真度,较为详细地讨论了它们的性质,拓宽了真度理论的研究思路,丰富了现有研究成果。; 关键词：ΣΓ真度有限理论系统L

真度的均值表示形式在逻辑系统L_n中的应用被引量：4: 《模糊系统与数学》2014年第3期7-12,共6页于鸿丽吴洪博; 西安市科技计划项目(CX12189WL26);国家自然科学基金资助项目(10871121); 命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明...; 关键词：真度均值表示系统Ln

Cartesian Closed Categories of F Z-domains: 《Acta Mathematica Sinica,English Series》2013年第12期2373-2390,共18页Min LIU Bin ZHAO; Supported by National Natural Science Foundation of China(Grant Nos.11171196,10871121); A subset system Z assigns to each partially ordered set P a certain collection Z（P） of subsets. In this paper, a new kind of subset systems called directable subset systems is introduced. For a directable subset sys...; 关键词：Subset system directable subset system FZ-way-below relation FZ-domain FZ-Scott topology FZ-Scott continuous function cartesian closed category

多值逻辑系统RDP中的子代数理论被引量：3: 《模糊系统与数学》2013年第3期36-40,共5页于鸿丽吴洪博; 国家自然科学基金资助项目(10871121);西安市科技计划项目(CX12189WL26); 系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统。本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础。; 关键词：多值逻辑子代数逻辑系统RDP

经典逻辑系统中公式的真度及公式间伪距离的一种等价定义被引量：7: 《模糊系统与数学》2013年第1期28-33,共6页马巧云吴洪博; 西安市科技计划项目(CXY1134WL10);国家自然科学基金资助项目(10871121); 给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的。; 关键词：经典命题逻辑系统公式的向量表示真度伪距离

正则剩余格上的模糊理想基: 《模糊系统与数学》2012年第5期94-99,共6页刘杰吴洪博; 国家自然科学基金资助项目(10871121); 首先,在正则剩余格中引入模糊理想基的概念,介绍了模糊理想基的一些重要性质,并且利用这些性质,给出了模糊理想基的三种等价形式;其次,结合具体实例讨论了模糊理想基与模糊理想的关系;最后,给出由模糊集生成模糊理想基及由模糊理想基生...; 关键词：正则剩余格模糊理想基模糊理想模糊集

BR_0-分配性及其推广被引量：6: 《山东大学学报（理学版）》2012年第2期93-97,共5页李玲玲吴洪博; 国家自然科学基金资助项目(10871121); 在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配...; 关键词：模糊逻辑剩余格 BR0-代数 BR0-分配性无限分配性

Ln^＊系统中理论的相对发散度和相对相容度被引量：3: 《模糊系统与数学》2011年第6期53-59,共7页崔艳丽吴洪博; 国家自然科学基金资助项目(10871121);陕西省师范大学重点科研基金资助项目(995130); 利用公式的ΣΓ-真度(文中称为相对真度)理论,在模糊命题逻辑系统Ln*中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念。对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探...; 关键词：Ln*系统相对真度相对发散度 ηΓ0-相容度 δΓ0-相容度

模糊集间的R_0-相似关系及其性质: 《计算机工程与应用》2011年第31期53-56,62,共5页刘杰吴洪博; 国家自然科学基金(No.10871121)~~; 将王国俊教授在R0-型逻辑系统中建立的R0-蕴涵算子应用于模糊数学理论之中,在非空集合X为论域的模糊集族F(X)上定义了一种新型运算-R0蕴含运算,并讨论了F(X)上R0-蕴含运算的一些基本性质。通过R0-蕴含运算在F(X)上定义了一个二元模糊相...; 关键词：模糊数学模糊逻辑 R0-蕴涵算子 R0-型逻辑系统 R0-相似关系

国家自然科学基金(10871121)