[1]
J. M. Cornejo and H. P. Sankappanavar, “A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions”, B Sect Log, vol. 51, no. 4, pp. 555–645, Dec. 2022.