Blok-Esakiaの定理
Memo
Blok-Esakia Isomorphism
Modal Companion
関連
Wim Blok
と
Leo L. Esakia
が独立に発見したとされる．
F. Wolter, M. Zakharyaschev; 2014; "On the Blok-Esakia Theorem"
参照．
W. J. Blok; 1976; "Varieties of interior algebras"
L. L. Esakia; 1975; "The problem of dualism in the intuitionistic logic and Brouwerian lattices"