关于一阶哥德尔逻辑扩张的紧致性性质
逻辑
2014-10-28 v2
摘要
我们研究了哥德尔逻辑的一些变体中的三种紧致性：紧致性、蕴含紧致性和近似蕴含紧致性。对于可数的一阶基础语言，我们使用亨金构造来证明由零元联结词或 Baaz 投影联结词丰富的一阶哥德尔逻辑扩张的紧致性性质。在不可数一阶语言的情况下，我们使用超积方法来推导紧致性定理。
引用
@article{arxiv.1410.3027,
title = {On the compactness property of extensions of first-order G\"odel logic},
author = {Seyed Mohammad Amin Khatami},
journal= {arXiv preprint arXiv:1410.3027},
year = {2014}
}
备注
16 pages