全部

1·Often referred to as proof theory.

通常称为证明论。

2·Firstly, we construct the system KA of knowing agents, give some results of its proof theory.

首先，我们构造知道主体的系统KA，给出它的一些证明论结果。

3·Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.

首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。

4·Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory.

首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。

5·This article analyze the characters of market mix firstly, gives a conflict resolving method using proof theory.

文章分析营销决策任务的特点，提出了基于证据综合的冲突消除方法。

6·Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.

现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。

7·The assignment of the burden of proof is the core question of the burden of proof theory, it has very high theoretical and practical value.

证明责任的分配是证明责任理论的核心问题，具有很高的理论和实践研究价值。

8·Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.

首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。

9·Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.

一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。

10·Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.

数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。