Scifaro

中文

HA* 的 $\Sigma_1$-可证性逻辑

逻辑 2018-08-28 v3

作者: Mohammad Ardeshir , Mojtaba Mojtahedi

在 arXiv 上查看 ↗ PDF ↗

摘要

对于 Heyting 算术 HA，HA* 定义为理论 $\{A\mid {\sf HA}\vdash A^{\Box}\}$ ，其中 $A^{\Box}$ 称为 $A$ 的框翻译。我们将 HA* 的 $\Sigma_1$ -可证性逻辑刻画为一个模态理论 ${\sf iH}_\sigma^*$ 。

关键词

Heyting 算术可证性逻辑框翻译模态理论 Σ₁-可证性

引用

@article{arxiv.1805.06763,
  title  = {The $\Sigma_1$-Provability Logic of HA*},
  author = {Mohammad Ardeshir and Mojtaba Mojtahedi},
  journal= {arXiv preprint arXiv:1805.06763},
  year   = {2018}
}

备注

arXiv admin note: substantial text overlap with arXiv:1409.5699