1) Γ-canonical model
Γ-典范模型
2) canonical model
典范模型
1.
In this paper,we proved the completeness of system M with respect to the class of Γcanonical frames,on which Γ-canonical models are built.
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。
3) Γ-canonical frame
Γ-典范框架
4) canonical model of the system KjB
系统KjB典范模型
5) Typical module
典范模
6) Atypical module
非典范模
补充资料：典范
可作学习标准、榜样的人或事物：处世的典范｜给年青人做个典范。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条