向前向后法证明一阶逻辑的几个定理 (2004年)

【文件属性】：

文件名称：向前向后法证明一阶逻辑的几个定理 (2004年)

文件大小：140KB

文件格式：PDF

更新时间：2024-06-16 07:02:45

自然科学 论文

向前向后方法是模型论及其应用研究中的一个很重要的工具.一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难.文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明.