×

一阶逻辑的松散保护片段具有有限模型性质。 (英语) Zbl 0998.03003号

摘要:我们证明了一阶逻辑的松散保护和封装片段具有有限模型性质。我们使用的是赫维格和赫鲁绍夫斯基的建筑。我们指出了时间谓词逻辑和代数逻辑中的一些结果。

MSC公司:

03秒20 经典逻辑子系统(包括直觉逻辑)
03B45号 模态逻辑(包括规范逻辑)
03C07号机组 一阶语言和结构的基本性质
03C13号机组 有限结构模型理论
03C30号 其他模型构造
03G15年 柱代数和多代数;关系代数
03B44号 时间逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部