Cornejo, J. M., & Sankappanavar, H. P. (2022). A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions. Bulletin of the Section of Logic, 51(4), 555–645. https://doi.org/10.18778/0138-0680.2022.23