Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Preprint |
| Vydáno: |
2024
|
| Témata: | |
| On-line přístup: | https://arxiv.org/abs/2409.05607 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| _version_ | 1866908695748673536 |
|---|---|
| author | Bezhanishvili, Guram Carai, Luca |
| author_facet | Bezhanishvili, Guram Carai, Luca |
| contents | Esakia's theorem states that Grzegorczyk's logic is the greatest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have a greatest modal companion, yielding that Esakia's theorem fails in the monadic setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_05607 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Failure of Esakia's theorem in the monadic setting Bezhanishvili, Guram Carai, Luca Logic 03B20, 03B45, 03B55 Esakia's theorem states that Grzegorczyk's logic is the greatest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have a greatest modal companion, yielding that Esakia's theorem fails in the monadic setting. |
| title | Failure of Esakia's theorem in the monadic setting |
| topic | Logic 03B20, 03B45, 03B55 |
| url | https://arxiv.org/abs/2409.05607 |