@article{bwmeta1.element.desklight-70d65cc2-6008-40eb-8e04-c5edf6f96a8b,
author = {R. Beazer and D. S. Macnab},
title = {Modal extensions of Heyting algebras},
journal = {Colloquium Mathematicae},
volume = {42},
year = {1979},
pages = {1-12},
zbl = {0436.06010},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.desklight-70d65cc2-6008-40eb-8e04-c5edf6f96a8b}
}
R. Beazer; D. S. Macnab. Modal extensions of Heyting algebras. Colloquium Mathematicae, Tome 42 (1979) pp. 1-12. http://gdmltest.u-ga.fr/item/bwmeta1.element.desklight-70d65cc2-6008-40eb-8e04-c5edf6f96a8b/