Cornejo, J. M.; Sankappanavar, H. P. A Logic for Dually Hemimorphic Semi-Heyting Algebras and Its Axiomatic Extensions. B Sect Log 2022, 51, 555-645.