BLOK–ESAKIA THEOREMS VIA STABLE CANONICAL RULES.

We present a new uniform method for studying modal companions of superintuitionistic rule systems and related notions, based on the machinery of stable canonical rules. Using this method, we obtain alternative proofs of the Blok–Esakia theorem and of the Dummett–Lemmon conjecture for rule systems. S...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Symbolic Logic Vol. 91; no. 1; pp. 68 - 105
Autores principales:	BEZHANISHVILI, NICK, CLEANI, ANTONIO MARIA
Formato:	Artículo
Publicado:	Cambridge University Press Mar2026
Materias:	Modal logic Nonclassical mathematical logic Logic Rule-based programming Isomorphism (Mathematics)
Acceso en línea:	Ver este registro en EBSCOhost