证明论
- 网络proof theory; Beweistheorie; entailment closure
证明论证明论
proof theory
在证明论(proof theory)和相关的数理逻辑的领域中，一个形式的演算(caluclus)相对于一个特定的逻辑（即相对于它的语义(sema…
Beweistheorie
...础向一般数学基础的转移．这篇讲演勾画了后来被称为“证明论”(Beweistheorie)的轮廓，但这一思想当时并未得到进一步贯彻…
entailment closure
RDF(S)本身是一个非常完美的形式系统，有形式化的语法，语义，而且是可判定的，还有证明论（entailment closure）,并且是 …
proofthoory
刀)表示数学理论的方法.它是证明论(proofthoory)的主要方法之一 形式化方法的应用包括完成以下几个步骤: l)将原有的数学理论 …
proof-theoretic
数据库有证明论（proof-theoretic）语义和模型论语义，也是等价的。那么我们能不能对 产生式程序 定义 模型论语义（也即陈 …
ploof tlloory
...一概念的数学定义，并能用数学方法对证明加以研究〔见证明论(ploof tlloory)).形式推导这一概念被认为是很近似于数学证明 …
pIDof theo-ry
...us)的表述形式之一由于便于表示推导，矢列式演算在证明论(pIDof theo-ry)，数学基础以及推理的自动搜索等方面有着广泛的 …
1
3
4
5