Failure of the Blok-Esakia Theorem in the monadic setting

Autor:	Bezhanishvili, Guram, Carai, Luca
Rok vydání:	2024
Předmět:	Mathematics - Logic 03B45 03B55 06D20 06E25 06E15
Druh dokumentu:	Working Paper
Popis:	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. Comment: 23 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2405.09401 Zobrazit plný text záznamu View this record from Arxiv