模态剩余逻辑中集合论的类 Kripke 模型
逻辑
2024-05-09 v1
摘要
我们利用 Ono 和 Komori 的剩余 Kripke 模型，推广了 Fitting 关于集合论直觉主义 Kripke 模型的工作。基于这些模型，我们在模态剩余逻辑背景下提供了 von Neumann 层级的一种推广，并证明了其与一个合适的 Heyting 赋值模型之间的公式翻译。我们还提出了模态剩余逻辑中可构造集全集的概念，并讨论了其某些方面。
引用
@article{arxiv.2405.04641,
title = {Kripke-like models of Set Theory in Modal Residuated Logic},
author = {Jose Moncayo and Pedro H. Zambrano},
journal= {arXiv preprint arXiv:2405.04641},
year = {2024}
}