Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2405.04641 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910438227181568 |
|---|---|
| author | Moncayo, Jose Zambrano, Pedro H. |
| author_facet | Moncayo, Jose Zambrano, Pedro H. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_04641 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Kripke-like models of Set Theory in Modal Residuated Logic Moncayo, Jose Zambrano, Pedro H. Logic 03E70, 03B47, 03B60, 03B45, 06F07 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. |
| title | Kripke-like models of Set Theory in Modal Residuated Logic |
| topic | Logic 03E70, 03B47, 03B60, 03B45, 06F07 |
| url | https://arxiv.org/abs/2405.04641 |