In this paper, we introduce the variety of algebras, which we call monadic k * jk× j-rough
Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and …

A k× j-rough Heyting algebra is a Heyting algebra endowed with a finite family of unary
operations known as projection maps. The purpose of this paper is to define and investigate …

Abstract k-rough Heyting algebras were introduced by Eric San Juan in 2008 as an
algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in …

Abstract k-rough Heyting algebras were introduced by Eric San Juan in 2008 as an
algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in …

In [3], the author presents an algebraic formalism about generalizations of approximate sets
and he proves that these generalizations are adequate to model the relevance of documents …

Accepted: February 10, 2022. k-rough Heyting algebras were introduced by Eric San Juan in
2008 as an algebraic formalism for reasoning on finite increasing sequences over Boolean …