向前向后法证明一阶逻辑的几个定理

• 作者: 潘孝铭
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 模型论 一阶逻辑 向前向后方法 内插定理 保持定理
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 203-205
• 页数: 3页
• 分类号: O141.4∶O153
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5013.2004.02.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘孝铭	华侨大学信息科学与工程学院	17	42	4.0	5.0