期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
系统L^＊中极大相容理论结构刻画的归纳证明 被引量：3
1
作者 周红军 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期1-6,共6页
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命... 在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系. 展开更多
关键词 模糊逻辑 ^系统l^＊ 极大相容理论 满足性定理 紧致性定理
下载PDF
系统L^＊中极大相容理论的结构刻画和紧致性定理 被引量：3
2
作者 周红军 王国俊 《模糊系统与数学》 CSCD 北大核心 2008年第4期8-14,共7页
为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统L*。本文基于系统L*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,■pi,(■... 为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统L*。本文基于系统L*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,■pi,(■p2i)&(■(■pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件。本文还证明了系统L*的满足性定理和紧致性定理。至此,系统L*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统L*的理论体系。 展开更多
关键词 模糊逻辑 ^系统l^＊ 极大相容理论 满足性定理 紧致性定理
下载PDF
模糊命题演算系统的一个新的等价形式 被引量：1
3
作者 马巧云 吴洪博 《工程数学学报》 CSCD 北大核心 2010年第5期947-950,共4页
在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：... 在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：（（（A→C）∨（B→C））→（A∧B→C））,同时放弃约定＂P∧Q是﹁（﹁P∨﹁Q）的简写＂,所得的系统L0^＊与L^＊等价。 展开更多
关键词 模糊逻辑 命题演算 ^系统l^(%MUl%) 等价形式
下载PDF
模糊逻辑系统中公式的积分真度和伪距离 被引量：6
4
作者 崔美华 《工程数学学报》 CSCD 北大核心 2010年第5期873-882,共10页
在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重... 在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。 展开更多
关键词 ^逻辑系统l^(%MUl%) 公式 积分真度 伪距离
下载PDF
关于形式系统L^(*)的强完备性 被引量：3
5
作者 裴道武 《工程数学学报》 CSCD 北大核心 2005年第1期128-132,共5页
进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。
关键词 模糊逻辑 ^形式系统l^(%MUl%) R_(0)(Γ)代数 强完备性
下载PDF
逻辑系统L~*和BL~*的广义演绎定理的逆定理 被引量：1
6
作者 荣宇音 徐罗山 《计算机工程与应用》 CSCD 北大核心 2019年第1期47-49,共3页
利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
关键词 ^逻辑系统l^%MUl% ^逻辑系统Bl^%MUl% 广义演绎定理 强可靠性
下载PDF
模糊命题演算系统■~*的简化与独立性 被引量：2
7
作者 裴道武 《模糊系统与数学》 CSCD 北大核心 2006年第1期1-10,共10页
模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。
关键词 模糊逻辑 ^模糊命题演算系统l^＊ 独立性 t-范基逻辑
下载PDF
形式演绎系统L~*中封闭理论的性质及其应用
8
作者 吴洪博 梁颖 《数学学报（中文版）》 CSCD 北大核心 2018年第1期123-134,共12页
本文在模糊命题演算的形式演绎系统L^＊中引入了封闭理论的概念，讨论了封闭理论的基本性质，并利用封闭理论给出了形式演绎系统L^＊的基于公式集的完备性的证明．首先，在形式演绎系统L^＊中引入了封闭理论的概念，给出了理论封闭化扩... 本文在模糊命题演算的形式演绎系统L^＊中引入了封闭理论的概念，讨论了封闭理论的基本性质，并利用封闭理论给出了形式演绎系统L^＊的基于公式集的完备性的证明．首先，在形式演绎系统L^＊中引入了封闭理论的概念，给出了理论封闭化扩张的方法；其次，在形式演绎系统L^＊中引入了完全封闭理论的概念，证明了满足相关条件的完全封闭理论的存在性；第三，对形式演绎系统L^＊中的封闭理论确定的同余关系性质进行了讨论，在公式集中引入了强同余关系的概念，给出了封闭理论和强同余关系相互决定的方法；第四，在形式演绎系统L^＊中证明了封闭理论型L^＊-Lindenbaum代数是R0代数，并且封闭理论型L^＊-Lindenbaum代数是全序的当且仅当封闭理论是完全的；最后，利用完全封闭理论型L^＊-Lindenbaum代数完成了形式系统L^＊完备性的证明，并改进了原有的结果． 展开更多
关键词 模糊逻辑 ^形式演绎系统l^＊ 封闭理论 强同余关系 完备性
原文传递
BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题
9
作者 张琼 吴洪博 《山东大学学报（理学版）》 CAS CSCD 北大核心 2010年第4期60-65,共6页
对BL*系统进行了研究。结合PetrH偄jek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BL*Δ系统。随后在BLΔ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了... 对BL*系统进行了研究。结合PetrH偄jek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BL*Δ系统。随后在BLΔ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。 展开更多
关键词 模糊逻辑 ^Bl^＊系统 一元逻辑连接词Δ Δ-根 广义MP问题
原文传递
L3^＊系统中逻辑度量空间的拓扑性质 被引量：1
10
作者 胡明娣 折延宏 王敏 《山东大学学报（理学版）》 CAS CSCD 北大核心 2010年第6期86-90,共5页
研究了L3*系统中逻辑度量空间的拓扑性质,证明了逻辑度量空间(F(S),ρ3)是不完备、非紧致零维空间,该空间具有一种类似于樊畿性质的所谓"有限等球连通性"。
关键词 ^l3^＊系统 逻辑度量空间 不完备 非紧致空间 零维空间
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部