模型论语义学 Model-Theoretic Semantics ; Theoretic Semantics
·2,447,543篇论文数据，部分数据来源于NoteExpress
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
youdao
应用推荐
模块上移
模块下移
不移动