English

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 σ\sigma does not extend to the fragments of the corresponding predicate logics of already one fixed variable. In other words, we prove that σ\sigma 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