DOI10.1007/s00500-015-1693-6zbMath1454.06008MaRDI QIDQ521725
Yong-Cai Geng, Sumit K. Garg
Publication date: 12 April 2017 Published in: Soft Computing (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s00500-015-1693-6
zbMATH Keywords
coproducts; products; Esakia duality; Heyting algebras with operators; KM-algebras
Mathematics Subject Classification ID
06D20: Heyting algebras (lattice-theoretic aspects)
06D50: Lattices and duality