Cornejo JM, Sankappanavar HP. A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions. B Sect Log [Internet]. 2022 Dec. 14 [cited 2024 May 3];51(4):555-64. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/12505