A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic …