Failure of Esakia's theorem in the monadic setting

Autor:	Bezhanishvili, Guram, Carai, Luca
Rok vydání:	2024
Předmět:	Mathematics - Logic 03B20 03B45 03B55
Druh dokumentu:	Working Paper
Popis:	Esakia's theorem states that Grzegorczyk's logic is the largest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have the largest modal companion, yielding that Esakia's theorem fails in the monadic setting.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2409.05607 Zobrazit plný text záznamu View this record from Arxiv