The existence of states based on Glivenko semihoops

Abstract

In this paper, we mainly investigate the existence of states based on the Glivenko theorem in bounded semihoops, which are building blocks for the algebraic semantics for relevant fuzzy logics. First, we extend algebraic formulations of the Glivenko theorem to bounded semihoops and give some characterizations of Glivenko semihoops and regular semihoops. The category of regular semihoops is a reflective subcategory of the category of Glivenko semihoops. Moreover, by means of the negative translation term, we characterize the Glivenko variety. Then we show that the regular semihoop of regular elements of a free algebra in the variety of Glivenko semihoops is free in the corresponding variety of regular semihoops. Similar results are derived for the semihoop of dense elements of free Glivenko semihoops. Finally, we give a purely algebraic method to check the existence of states on Glivenko semihoops. In particular, we prove that a bounded semihoop has Bosbach states if and only if it has a divisible filter, and a bounded semihoop has Riečan states if and only if it has a semi-divisible filter.