proof theory

proof theory什么意思,proof theory翻译

基本解释

网络: 证明论；证明论教材；证明理论

例句

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

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

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

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

• Often referred to as proof theory.

  通常称为证明论。

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

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

• The core of the theory of Topics of Science is the multi-dimensional proof theory.

  科学论题学的核心内容是“论题”的多元论证理论。

• Being semantically constructed, as yet computability logic does not have a fully developed proof theory.

  正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。

• The burden of proof theory is the minor premise (the facts) to play a role in situations of uncertainty.

  而证明责任理论就是在小前提（案件事实）不确定的情况下发挥作用。

• Firstly, we construct the epistemic systems EK1-EK3, give some results of their proof theory.

  首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。

• Differentiation and Correction of Four Groups of Opposite Concepts in Proof Theory

  诉讼证明理论中的四组相对概念之辨正

• Survey: Proof Theory Semantics of General Logic Program

  综述：一般逻辑程序的证明论语义