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.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
So Millikan's paper is not at all, as we would now expect, an experimental proof of the quantum theory of light.
所以，密立根的文章根本不像我们现在认为的那样，是对光的量子理论的实验验证。
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.
虽然花费了一定的时间，但是该理论的论证还是引领了抗生素的出现，相当多的传染病就此终结。
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 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.
在此作者介绍了英美法中的“事实自证原则”，德国法上的“表见证明理论”以及“重大医疗过失的举证责任转换”，并将这些理论与我国的举证责任倒置做了比较。
The alchemist ignored' the further alienation and built an alliance of extremists to get physical proof of the alien and to alter the world's view of his theory.
炼金术士没有理会人们对他的进一步疏远，他成立了一个极端分子联盟，以寻找外星人存在的真凭实据，借此改变世人对他的理论的看法。
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.
理论分析、计算机仿真及实验表明：该项研究为结合电子地图的高精度陆上定位，以及高精度海上定位导航，提供了可靠的理论依据及简化算法。
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.
与其他学说相比，此说更符合民事诉讼认识论以及民事诉讼的目的要求，因此，笔者主张应以相当因果关系说作为因果关系证明的理论基础。
By using theory of enveloping semigroup, we give a simple proof of an important theorem concerning proximity relations.
运用包络半群的理论，对接近关系中一个重要定理给出了一个简单证明。
The study on the innovation in venture invest firm provides the traditional theory with empirical proof.
研究风险投资企业中的技术创新为传统理论提供了经验研究的实证。
The study on the innovation in venture invest firm provides the traditional theory with empirical proof.
研究风险投资企业中的技术创新为传统理论提供了经验研究的实证。
应用推荐