张琼
- 作品数：7 被引量：12H指数：2
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- 邻域系算子范畴及相关性质
- 2010年
- 对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.
- 张琼吴洪博
- 关键词：范畴论乘积余积
- NML系统的有限强完备性被引量：4
- 2010年
- 对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.
- 吴洪博张琼
- 关键词：模糊逻辑
- BL~＊系统的一种扩张及相关性质被引量：1
- 2010年
- 对BR0代数,Boole代数以及BL*系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL*系统中分别添加公理模式(A→B)A∨B或(A→(B→C))→(A∧B→C)得到BL*系统的两种扩张,并证明了BL*系统的这两种扩张与命题演算形式系统L之间是等价的。
- 张琼吴洪博
- 关键词：模糊逻辑命题演算BR0代数BOOLE代数
- (3n+1)值逻辑系统R_0L中公式的真度性质被引量：8
- 2011年
- 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架.
- 吴洪博周建仁张琼
- 关键词：计量逻辑学真度相似度伪距离
- 邻域系算子格及其性质
- 2009年
- 对拓扑学中邻域系的性质进行了研究,提出了一般集合X上的邻域系算子的概念.借助格论的思想,在邻域系算子族N(X)中引入二元运算∩,∪,构造了邻域系算子格(N(X),∩,∪),并对其性质进行了研究.证明了(N(X),∩,∪)是一个完备格,它所诱导的序是由邻域系算子在各点结果的包含序决定的.并证明了(N(X),∩,∪)不满足分配性.
- 张琼吴洪博
- 关键词：拓扑学完备格分配格
- BL/_△~*形式系统与NM（?）形式系统的研究
- 随着人工智能与信息科学研究的不断深入,模糊逻辑与多值逻辑的研究已成为其中一大热点.近年来,许多学者致力于各种逻辑系统的研究,并取得了一系列重要的研究成果.吴洪博教授建立了BLΔ*系统,并证明了其完备性.王三民教授在MTL...
- 张琼
- 关键词：模糊逻辑多值逻辑真度
- 文献传递
- BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题
- 2010年
- 对BL*系统进行了研究。结合PetrH偄jek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BL*Δ系统。随后在BLΔ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。
- 张琼吴洪博
- 关键词：模糊逻辑
