摘要

在本文中,我证明了无等式逻辑的正片段和普遍存在片段的保持定理。我系统地介绍了一阶语言的无等式图解法。

关键词:无等式逻辑,模型理论

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。