Modal extensions of Heyting algebras

Wydawnictwa / Czasopisma IMPAN / Colloquium Mathematicum / Wszystkie zeszyty

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