On Heyting Algebras with Moisil Operators

Abstract

The study of Moisil-type operators in Heyting algebras was initiated by Almi˜nana and Pelaitay, who introduced the notion of k × j-rough Heyting algebras in 2020 as a generalization of the k-rough Heyting algebras previously studied by Eric SanJuan in 2008. In this paper, we continue the investigation of these algebras. Our main contribution is a description of the structure of the finitely generated free 3 × 3-rough Heyting algebras. Furthermore, we derive a formula for computing their cardinality in terms of the number of free generators.