Cover Image
QR Code

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...

Full description

Published in:Journal of Symbolic Logic Vol. 91; no. 1; pp. 68 - 105
Main Authors: BEZHANISHVILI, NICK, CLEANI, ANTONIO MARIA
Format: Article
Published: Cambridge University Press Mar2026
Subjects:
Modal logic
Nonclassical mathematical logic
Logic
Rule-based programming
Isomorphism (Mathematics)
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost