Kripke-like models of Set Theory in Modal Residuated Logic
Logic
2024-05-09 v1
Abstract
We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructible sets in Modal Residuated Logic and discuss some aspects of it.
Keywords
Cite
@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}
}