Complete Heyting algebra-valued convergence semigroups

Abstract

Considering a complete Heyting algebra H, we introduce a notion of stratified H-convergence semigroup. We develop some basic facts on the subject, besides obtaining conditions under which a stratified H-convergence semigroup is a stratified H-convergence group. We supply a variety of natural examples; and show that every stratified H-convergence semigroup with identity is a stratified H-quasiuniform convergence space. We also show that given a commutative cancellative semigroup equipped with a stratified H-quasi-unifom structure satisfying a certain property gives rise to a stratified H-convergence semigroup via a stratified H-quasi-uniform convergence structure.