R. Beazer, and D. S. Macnab. "Modal extensions of Heyting algebras." Colloquium Mathematicae 41.1 (1979): 1-12. <http://eudml.org/doc/264691>.
@article{R1979, author = {R. Beazer, D. S. Macnab}, journal = {Colloquium Mathematicae}, keywords = {modal extension; modal operators on a Heyting algebra; complete Heyting algebra; Post algebra; Lukasiewicz algebra; Boolean algebra; dense element}, language = {eng}, number = {1}, pages = {1-12}, title = {Modal extensions of Heyting algebras}, url = {http://eudml.org/doc/264691}, volume = {41}, year = {1979}, }
TY - JOUR AU - R. Beazer AU - D. S. Macnab TI - Modal extensions of Heyting algebras JO - Colloquium Mathematicae PY - 1979 VL - 41 IS - 1 SP - 1 EP - 12 LA - eng KW - modal extension; modal operators on a Heyting algebra; complete Heyting algebra; Post algebra; Lukasiewicz algebra; Boolean algebra; dense element UR - http://eudml.org/doc/264691 ER -
