Often referred to as proof theory.
通常称为证明论。
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，给出它的一些证明论结果。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
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.
证明责任的分配是证明责任理论的核心问题，具有很高的理论和实践研究价值。
Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
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.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
In object identification level object identification fusion based on D-S proof theory was discussed, performance analyzing is found that the arithmetic did not need probability distribution.
在目标识别级重点讨论了基于D - S证据理论的目标识别融合，通过性能分析可知该算法具有不需要先验概率和条件概率密度等优点。
At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
The flaw in this theory lies in the lack of proof to support it.
这一理论的缺陷在于缺乏支持它的证据。
So Millikan's paper is not at all, as we would now expect, an experimental proof of the quantum theory of light.
所以，密立根的文章根本不像我们现在认为的那样，是对光的量子理论的实验验证。
Okay, so that's more of a theory than a rumor, but come on, the proof is right there.
好吧，这个更像是理论，而非谣传，但是你瞧证据不都明摆着嘛。
Telescopes are important in proving their existence, but the telescopes used are very different from Galileo's, and they carry their own burden of doubt, theory and proof.
望远镜在寻找黑洞存在中有着重要作用，但是望远镜的用途已经和伽利略当初的用途有所差异了——它们承载着怀疑、理论和论证的重负。
Science cannot definitively proof or disprove Chris's theory, but some scientists are willing to take guesses.
科学不能明确论证或者证明克里斯的理论，但是一些科学家乐于猜想这个理论。
It took a while, but proof of that theory led to antibiotics that can destroy a whole range of infections.
虽然花费了一定的时间，但是该理论的论证还是引领了抗生素的出现，相当多的传染病就此终结。
What better proof of their theory?
还有什么更好的证据可以证明他们的理论呢？
A simple experiment that sends photons through three slits provides the best proof yet of an important axiom of quantum theory called Born's rule, say physicists in Canada and Austria.
加拿大和奥地利的物理学家介绍，这个简单的实验通过三个缝发出光子，为量子理论的一个重要公理“波恩定则”提供了最好的证明。
The theory of periodic extinctions itself is still debated, with many insisting that more proof is needed.
物种周期性大灭绝的理论本身依然是备受争议的，需要更多的证据以便进一步地论证。
In natural science, a mathematical formula of proposed must undergo the theory or experiment proof to just go, and this is what is history scholars are missing.
在自然科学领域，一个数学公式的提出必须要经过理论或实验的证明才行，而这正是历史学界所缺少的。
The theory proof and numerical computing results show that the method is valid.
理论证明和数值计算结果表明，该算法是有效的。
The scientist put his theory to the proof when he performed the experiment.
那位科学家进行试验是为验证他的理论。
Then the following part put forward the assumption: our country should make more research on the burden of proof in medical issues from the aspects of theory and practice.
在此作者介绍了英美法中的“事实自证原则”，德国法上的“表见证明理论”以及“重大医疗过失的举证责任转换”，并将这些理论与我国的举证责任倒置做了比较。
In proof of this theory, I shall make certain studies.
为了证明这一理论，我将进行某些研究。
It shows that this study provides good theory proof and simple algorithm of high accuracy connecting electronic map in maritime or land over theory analysis, computer simulation and experiment.
理论分析、计算机仿真及实验表明：该项研究为结合电子地图的高精度陆上定位，以及高精度海上定位导航，提供了可靠的理论依据及简化算法。
The theory proof of the control design of modulated clutch has been provided.
可为调速离合器的控制设计提供理论依据。
Compared with the other theories, it is more suitable to the epistemology and the aim in the civil litigation, so, well-matched causation theory should be the basic theory in proof of causation.
与其他学说相比，此说更符合民事诉讼认识论以及民事诉讼的目的要求，因此，笔者主张应以相当因果关系说作为因果关系证明的理论基础。
Compared with the other theories, it is more suitable to the epistemology and the aim in the civil litigation, so, well-matched causation theory should be the basic theory in proof of causation.
与其他学说相比，此说更符合民事诉讼认识论以及民事诉讼的目的要求，因此，笔者主张应以相当因果关系说作为因果关系证明的理论基础。
应用推荐