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) |
06D20 | Heyting algebras (lattice-theoretic aspects) |
06D25 | Post algebras (lattice-theoretic aspects) |
06D30 | De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects) |