Modal extensions of Heyting algebras

Publishing house / Journals and Serials / Colloquium Mathematicum / All issues

R. Beazer, D. S. Macnab Colloquium Mathematicum 41 (1979), 1-12 DOI: 10.4064/cm-41-1-1-12