TY  - JOUR
AU  - R. Beazer
AU  - D. S. Macnab
TI  - Modal extensions of Heyting algebras
JO  - Colloquium Mathematicum
PY  - 1979
SP  - 1
EP  - 12
VL  - 41
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/cm-41-1-1-12/
DO  - 10.4064/cm-41-1-1-12
LA  - fr
ID  - 10_4064_cm_41_1_1_12
ER  -