"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
本网站所收集内容来自网友分享仅供参考,实际请以各学校实际公布信息为主!内容侵权及错误投诉:1553292129@qq.com
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号