| 释义 |
1 [数]?证明论 在证明论(proof theory)和相关的数理逻辑的领域中，一个形式的演算(caluclus)相对于一个特定的逻辑（即相对于它的语义(semantics)）是完备的，如果任何由... 2 ?证蜜 ... 证明;验证：verify 证蜜：proof theory 证(题);证明：proof ... 3 ?证明理论 20世纪30年代前后，基于证明理论（Proof Theory）和递归可列举集合（recursively enumerable set）等理论，在Alonzo Church和Alan M．Turing等一大批著名数学家和逻辑学家的共同努... 4 ?证实论 证实论(proof theory)的生长表达所以自己如若借通过琢磨自己心思情形来否认原人所直言的话那就是中国人优根性的最好体隐争了一条道把他放了进去。
- 1
Firstly, we construct the system KA of knowing agents, give some results of its proof theory. 首先，我们构造知道主体的系统KA，给出它的一些证明论结果。 - 2
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory. 首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。 - 3
Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory. 首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。
|