期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
L^*系统中的模糊演绎定理的改进形式 被引量:8
1
作者 吴洪博 王小敏 韩诚 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期27-32,共6页
研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步... 研究了模糊命题演算的形式演绎系统L .对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B.将L 系统中的模糊演绎定理进行了改进,进一步说明了L 系统所具有的良好性质.同时,在本文定理的证明中进一步体现了L 系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法. 展开更多
关键词 模糊逻辑 L^*系统 圈乘算子 演绎定理
下载PDF
论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 被引量:3
2
作者 余军成 《贵州工程应用技术学院学报》 2017年第3期1-8,共8页
在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统... 在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。 展开更多
关键词 直觉主义谓词逻辑 演绎定理 矢列式自然演绎系统 公理化系统 证明策略
下载PDF
Lukasiewicz命题逻辑系统一种新的理论的相容度 被引量:3
3
作者 张建成 王国俊 《数学进展》 CSCD 北大核心 2007年第6期761-768,共8页
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并... 根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式. 展开更多
关键词 理论 演绎定理 真度 发散度 极指标 相容度
下载PDF
论经典命题逻辑公理系统L中的证明技巧 被引量:2
4
作者 程和祥 刘强 《重庆理工大学学报(社会科学)》 CAS 2019年第3期7-12,共6页
在经典命题逻辑的学习中,公理系统L中的定理证明只能使用公理模式和推理规则,对于初学者而言,常常显得强人所难,主要表现为找不到证明的突破口。事实上,可以从两个方向出发:一方面,从公理模式出发,分析每条公理模式的特性,由此可得消件... 在经典命题逻辑的学习中,公理系统L中的定理证明只能使用公理模式和推理规则,对于初学者而言,常常显得强人所难,主要表现为找不到证明的突破口。事实上,可以从两个方向出发:一方面,从公理模式出发,分析每条公理模式的特性,由此可得消件法和换位法两个小技巧;另一方面,通过使用演绎定理,一般我们可得到待证定理的演绎证明序列,而通过对演绎证明序列的"仔细观察",可以获得相应公理证明的"突破口"。这些技巧,可以提高初学者的学习效率,优化数理逻辑的教学,也可以为定理机械化证明的理论和方法提供必要的实践准备,以促进新时代逻辑学教学现代化的实现。 展开更多
关键词 经典命题逻辑 公理系统L 消件法 换位法 演绎定理 构造性程序
下载PDF
命题逻辑系统中理论的发散度与近似推理的若干性质 被引量:2
5
作者 张建成 《模糊系统与数学》 CSCD 北大核心 2008年第2期46-52,共7页
基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理,获得了用Γ中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。
关键词 理论 演绎定理 发散度 近似推理 真度
下载PDF
协调、一致与一阶公理系统的强完全性 被引量:1
6
作者 邓雄雁 胡泽洪 《华南师范大学学报(社会科学版)》 CSSCI 北大核心 2010年第3期112-116,共5页
在公理系统中演绎定理是连接一致性和协调性的桥梁。对于带演绎定理的公理系统,可以证明公式集的一致性和协调性是等价的。在不带演绎定理的一阶公理系统中,一致性和协调性的差异集中体现在强完全性证明过程中。基于一致性的证明不依赖... 在公理系统中演绎定理是连接一致性和协调性的桥梁。对于带演绎定理的公理系统,可以证明公式集的一致性和协调性是等价的。在不带演绎定理的一阶公理系统中,一致性和协调性的差异集中体现在强完全性证明过程中。基于一致性的证明不依赖演绎定理,但基于协调性的强完全性证明多处受演绎定理束缚。文中将给出一个松绑方案,基于协调性上证明一阶公理系统QC1的强完全性。 展开更多
关键词 一致 协调 演绎定理 强完全性
下载PDF
Transfer matrix method for multibody systems(Rui method) and its applications 被引量:12
7
作者 RUI XiaoTing WANG Xun +1 位作者 ZHOU QinBo ZHANG JianShu 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2019年第5期712-720,共9页
The transfer matrix method for multibody systems, namely the "Rui method", is a new method for studying multibody system dynamics, which avoids the global dynamics equations of the system, keeps high computa... The transfer matrix method for multibody systems, namely the "Rui method", is a new method for studying multibody system dynamics, which avoids the global dynamics equations of the system, keeps high computational speed, and allows highly formalized programming. It has been widely applied to scientific research and key engineering of lots of complex mechanical systems in 52 research directions. The following aspects regarding the transfer matrix method for multibody systems are reviewed systematically in this paper: history, basic principles, formulas, algorithm, automatic deduction theorem of overall transfer equation, visualized simulation and design software, highlights, tendency, and applications in 52 research directions in over 100 key engineering products. 展开更多
关键词 MULTIBODY system dynamics TRANSFER matrix METHOD for MULTIBODY systems Rui METHOD automatic deduction theorem of overall TRANSFER equation theory computation software APPLICATIONS
原文传递
强模态归结
8
作者 孙吉贵 刘叙华 《吉林大学自然科学学报》 CAS CSCD 1996年第1期25-29,共5页
研究了命题模态逻辑K,K4,D,D4,T,S4的“”型模态逻辑结果的自动推理.提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结.证明了强模态归结的可靠性与完备性.
关键词 命题模态逻辑 ''型模态演绎定理 强模态归结
下载PDF
逻辑系统L~*和BL~*的广义演绎定理的逆定理 被引量:1
9
作者 荣宇音 徐罗山 《计算机工程与应用》 CSCD 北大核心 2019年第1期47-49,共3页
利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
关键词 逻辑系统L^* 逻辑系统BL^* 广义演绎定理 强可靠性
下载PDF
乘积逻辑系统中公式的真度函数理论
10
作者 罗敏霞 姚宁 《计算机工程与应用》 CSCD 北大核心 2011年第25期58-60,67,共4页
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
关键词 真度函数 τ-定理 τ-重言式 τ-演绎定理
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部