在证明论(proof theory)和相关的数理逻辑的领域中，一个形式的演算(caluclus)相对于一个特定的逻辑（即相对于它的语义(semantics)）是完备的，如果任何由...
基于2587个网页-相关网页
20世纪30年代前后，基于证明理论（Proof Theory）和递归可列举集合（recursively enumerable set）等理论，在Alonzo Church和Alan M．Turing等一大批著名数学家和逻辑学家的共同努...
基于44个网页-相关网页
Proof theory is reasonable 证明理论是否合理
default proof theory 缺省证明理论
programof proof theory 希尔伯特方案
Proof of his theory of 他的理论证明的对的
proof of theory 理论论证
theory proof 理论说明
theory of proof 证明论
algebraic basic theory proof 代数基本定理证明
the proof of this theory 这个理论的证据
·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
N the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity 证明论
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。
应用推荐