JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras
From MaRDI portal
Publication:5124105
zbMath1472.06010arXiv1512.05441MaRDI QIDQ5124105
Hanamantagouda P. Sankappanavar
Publication date: 17 September 2020
Full work available at URL: https://arxiv.org/abs/1512.05441
equational basediscriminator varietysubdirectly irreducible algebrasimple algebraDe Morgan semi-Heyting algebraDe Morgan Heyting algebradually quasi-De Morgan semi-Heyting algebradually Stone Heyting algebradually Stone semi-Heyting algebraJI-distributive
Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items