Cornejo, J. M.; Sankappanavar, H. P. A Logic for Dually Hemimorphic Semi-Heyting Algebras and Its Axiomatic Extensions. B Sect Log 2022, 51 (4), 555-645. https://doi.org/10.18778/0138-0680.2022.23.