量化命题 Goedel 逻辑
逻辑
2007-05-23 v2
摘要
我们证明 G-up（基于真值集 V-up = {1 - 1/n : n >= 1} u {1} 的量化命题 Goedel-Dummett 逻辑）是可判定的。该结果通过归约到 Buechi 的 theory S1S 得到。文中亦给出基于量词消去的另一种证明，它同时给出了 G-up 的公理化以及将其刻画为所有有限值量化命题 Goedel 逻辑之交集。
引用
@article{arxiv.math/0006122,
title = {Quantified propositional Goedel logics},
author = {Matthias Baaz and Agata Ciabattoni and Richard Zach},
journal= {arXiv preprint arXiv:math/0006122},
year = {2007}
}
备注
v.2: 17 pages, revised published version (v.1: 15 pages)