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，给出它的一些证明论结果。
This article analyze the characters of market mix firstly, gives a conflict resolving method using proof theory.
文章分析营销决策任务的特点，提出了基于证据综合的冲突消除方法。
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.
物种周期性大灭绝的理论本身依然是备受争议的，需要更多的证据以便进一步地论证。
He even argued that blacks and whites have different learningstyles, further proof that he endorses the racist theory that blacks and whitehave differently wired brains.
他甚至声称黑人和白人拥有不同的学习方式，从而进一步证明了莱特赞同那套种族主义理论，即黑人与白人拥有着以不同方式排线的大脑。
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.
那位科学家进行试验是为验证他的理论。
The fossil is of a lemur-like animal which was nicknamed Ida, while the official name is Darwinius masillae because the creature is a proof that confirms the Theory of Evolution by Charles Darwin.
化石长得有点像狐猴，科学家们把它叫做“艾达”，至于它的正式名称则是Darwiniusmasillae （达尔文的梅塞尔猿），因为这一生物是查尔斯达尔文的进化论的有力证明。
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.
为了证明这一理论，我将进行某些研究。
In proof of this theory, I shall make certain studies.
为了证明这一理论，我将进行某些研究。
应用推荐