完备性定理相关论文
BL命题逻辑系统是一个相对完备的逻辑系统,对BL命题逻辑系统的研究是数理逻辑的一个重要研究方向,为了进一步研究BL逻辑系统,本文......
直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的......
本文主要介绍了紧复流形上Kodaira-Spencer-Kuranishi形变理论中的存在性定理,完备性定理以及Calabi-Yau(CY)流形上Kodaira-Spence......
学位
对于极坐标系下的波动方程，首先通过引入合适的对偶变量将其化为Hamilton系统，并基于Bessel函数的性质证明了导出的Hamilton算子矩阵......
得到两类2×2对称算子矩阵乘积的本征函数系的完备性定理，并将定理应用于4×4的斜对角无穷维Hamilton算子.针对可分Hamilton系统，提......
引入了度量R0-代数和R0型Hilbert方体的概念.从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统k*的近似推理理......
归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句（α......
概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱......
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其......
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察M......
为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语......
在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。......
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子(△)的(△)-解......
设Г为有限命题集，首先讨论了Г在不同的n值命题逻辑系统Ln^＊中的相容性问题，提出了Г的约简理论，从命题集Г所诱导的多值形式背景出发......
集合论是现代数学的基础,创立至今已有百年之久。它的产生与发展几经曲折,目前尚有一些重大问题来获彻底解决。《集合论——简史与......
本文针对命题演算形式系统，在机器辅助定理证明系统Isabelle／HOL中为其建立逻辑模型，并分别形式化验证了PC和ND的主要性质，以及完备性......
<正> 1930年,德国维也纳大学助教库尔特·哥德尔(Kurt Godel1906—1978),在数学领域发现并证明了著名的不完备性定理,世称哥德尔不......
<正> 本文只讨论数学悖论(也即逻辑悖论),而不讨论语义学悖论。 1902年,罗素(Russell·B·)揭示出集合论的一个悖论,这直接触及数......
<正>随着心理学从哲学的剥离,哲学认识论的实证研究任务转到了心理学的层面上来,但是试图割裂人类心理研究的思辨过程方显实证主义......
<正>逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》,计划在第11卷专门以一卷的篇幅来研究......
【正】 近年来,国内学术界先后召开了多次“现代自然科学与马克思主义认识论”专题座谈会或讨论会,不但促进了研究工作的深入开展,......
<正> 本文给出用生成矩阵来构造2~m 阶幻方的一般方法.它不仅能用于生成普通幻方,还能用于生成超幻性幻方,幻立方以及更一般的幻 n......
