Failure of the Blok-Esakia Theorem in the monadic setting
Logic
2024-12-10 v2
Abstract
The Blok-Esakia Theorem establishes that the lattice of superintuitionistic logics is isomorphic to the lattice of extensions of Grzegorczyk's logic. We prove that the Blok-Esakia isomorphism does not extend to the fragments of the corresponding predicate logics of already one fixed variable. In other words, we prove that is no longer an isomorphism from the lattice of extensions of the monadic intuitionistic logic to the lattice of extensions of the monadic Grzegorczyk logic.
Keywords
Cite
@article{arxiv.2405.09401,
title = {Failure of the Blok-Esakia Theorem in the monadic setting},
author = {Guram Bezhanishvili and Luca Carai},
journal= {arXiv preprint arXiv:2405.09401},
year = {2024}
}
Comments
25 pages