基本解释：证明论证
汉语字典(www.zxzidian.com)行业英语频道为您提供证明论证的英文是prove，prove的意思，prove是什么意思等内容，如果您正在查询prove缩写的全称、翻译、解释等信息，本页内容可供您参考
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。
It is proved that a generalized form of model theoretic weak forcing satisfies some right inference rules of Gentzen style proof theory.推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。
