Cornejo, J. M., and H. P. Sankappanavar. “A Logic for Dually Hemimorphic Semi-Heyting Algebras and Its Axiomatic Extensions”. Bulletin of the Section of Logic, vol. 51, no. 4, Dec. 2022, pp. 555-4, doi:10.18778/0138-0680.2022.23.