完备性定理相关论文
根据演绎定理和完备性定理,应用公式真度理论在几种常见标准完备性成立的系统中建立一种新的一般理论的相容度概念,给出了理论Γ相......
文[1]给出数列{(1+(1/n))n}与{(1+1/n)n+1}的单调性的新证,并结合2008年湖南理科压轴题作如下探究:研究数列{(1+1/n)n+a}(其中a为......
首先我想说一说我心目中的哲学,哲学各有各的说法。我感到哲学是认识世界的整体观或综合观和大全。下面我从我想做一个哲学家说起......
信念修正是主体接受一个新的信念并将其加入到已有的信念集合中,且不会引起不协调的一个过程.在哲学、计算机科学,尤其是数据库和人......
直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的......
本文主要介绍了紧复流形上Kodaira-Spencer-Kuranishi形变理论中的存在性定理,完备性定理以及Calabi-Yau(CY)流形上Kodaira-Spence......
学位
选民们根本没有理由去期望民主政治会使每个人拥有相同的选择权利。即使是在进行民主决策的权利下,也必定会出现一定程度的误差。......
该文在Lukasiewicz命题逻辑、G(o)del命题逻辑和R0命题逻辑中,根据广义演绎性定理、完备性定理和计量逻辑理论,给出刻画一个命题A......
本文以文[7]、[8]、[9]为基础,构造了一类基于中介逻辑的模态逻辑系统MK、MT、MS_4及MS_5,给出了它们的直观背景、推理规则及语义......
Horn子句逻缉理论在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要的作用,但在进行不确定性推理时,基于二值情形的......
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个......
为了区分和处理模糊知识中不同的否定,我们己提出一种具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),本文进......
对于极坐标系下的波动方程,首先通过引入合适的对偶变量将其化为Hamilton系统,并基于Bessel函数的性质证明了导出的Hamilton算子矩阵......
得到两类2×2对称算子矩阵乘积的本征函数系的完备性定理,并将定理应用于4×4的斜对角无穷维Hamilton算子.针对可分Hamilton系统,提......
在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命......
引入了度量R0-代数和R0型Hilbert方体的概念.从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统k*的近似推理理......
文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但......
根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。......
归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α......
概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱......
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其......
理论物理学家的最新研究表明,哥德尔不完备性定理与量子力学中无法计算的问题相关联。库尔特·哥德尔证明,总有一些数学命题是......
在n值Lukasiewicz命题逻辑中提出了命题集Г的约简理论,引入由命题集Г所诱导的形式背景的概念,从Г及其子集的关系出发给出了n值命......
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察M......
<正> 隐变量问题是量子力学中争论较多的问题之一。1927年,哥本哈根学派提出了量子力学的“纯几率解释”。1932年,冯·诺意曼......
为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语......
在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ-解释,证明了一阶逻辑的完备性定理。......
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子(△)的(△)-解......
<正> 量子力学诞生以后,围绕其基本问题一直存在着激烈的争论。1932年,数学家冯·诺意曼在《量子力学数学基础》一书中,以抽象......
设Г为有限命题集,首先讨论了Г在不同的n值命题逻辑系统Ln^*中的相容性问题,提出了Г的约简理论,从命题集Г所诱导的多值形式背景出发......
集合论是现代数学的基础,创立至今已有百年之久。它的产生与发展几经曲折,目前尚有一些重大问题来获彻底解决。《集合论——简史与......
...
本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性......
<正> 1930年,德国维也纳大学助教库尔特·哥德尔(Kurt Godel1906—1978),在数学领域发现并证明了著名的不完备性定理,世称哥德尔不......
<正> 本文只讨论数学悖论(也即逻辑悖论),而不讨论语义学悖论。 1902年,罗素(Russell·B·)揭示出集合论的一个悖论,这直接触及数......
<正> 三旋生万物沈骊天(南京大学哲学系)三旋理论——超弦理论的姊妹篇读罢美国弦理论家 B·格林的《宇宙的琴弦》,尚在赞叹感慨之......
<正>随着心理学从哲学的剥离,哲学认识论的实证研究任务转到了心理学的层面上来,但是试图割裂人类心理研究的思辨过程方显实证主义......
【正】 近年来,国内学术界先后召开了多次“现代自然科学与马克思主义认识论”专题座谈会或讨论会,不但促进了研究工作的深入开展,......
<正> 本文给出用生成矩阵来构造2~m 阶幻方的一般方法.它不仅能用于生成普通幻方,还能用于生成超幻性幻方,幻立方以及更一般的幻 n......