×

Modal extensions of Heyting algebras. (English) Zbl 0436.06010


MSC:

06D20 Heyting algebras (lattice-theoretic aspects)
06D25 Post algebras (lattice-theoretic aspects)
06D30 De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects)
PDFBibTeX XMLCite
Full Text: DOI