Quantum B-algebras with involutions

The aim of this paper is to define and study the involutive and weakly involutive quantum B-algebras. We prove that any weakly involutive quantum B-algebra is a residuated poset. As an application, we introduce and investigate the notions of existential and universal quantifiers on involutive quantum B-algebras. It is proved that there is a one-to-one correspondence between the quantifiers on weakly involutive quantum B-algebras. One of the main results consists of proving that any pair of quantifiers is a monadic operator on weakly involutive quantum B-algebras. We investigate the relationship between quantifiers on bounded sup-commutative pseudo BCK-algebras and quantifiers on other related algebraic structures, such as pseudo MV-algebras and bounded Wajsberg hoops.

Characterizations of hoops based on stabilizers

In this paper, we characterize the algebraic structure of hoops via stabilizers. First, we further study left and right stabilizers in hoops and discuss the relationship between them. Then, we characterize some special classes of hoops, for example, Wajsberg hoops, local hoops, Gödel hoops and stabilizer hoops, in terms of stabilizers. Finally, we further determine the relationship between stabilizers and filters in hoops and obtain some improvement results. This results also give answer to open problem, which was proposed in [Stabilizers in MTL-algebras, Journal of Intelligent and Fuzzy Systems, 35 (2018) 717-727]. These results will provide a more general algebraic foundation for consequence connectives in fuzzy logic based on continuous t-norms.

Constructing Some Logical Algebras with Hoops

In any logical algebraic structures, by using of different kinds of filters, one can construct various kinds of other logical algebraic structures. With this inspirations, in this paper by considering a hoop algebra or a hoop, that is introduced by Bosbach, the notion of co-filter on hoops is introduced and related properties are investigated. Then by using of co-filter, a congruence relation on hoops is defined, and the associated quotient structure is studied. Thus Brouwerian semilattices, Heyting algebras, Wajsberg hoops, Hilbert algebras and BL-algebras are obtained.

MTL-algebras as rotations of basic hoops

In this paper, we use the generalize d rotation construction to lift results from the lattice of subvarieties of basic hoops to some parts of the lattice of subvarieties of monoidal t-norm based logic-algebras. In particular, we study splitting algebras for (the lattice of subvarieties of) varieties generated by generalized rotations of basic hoops and relevant subvarieties such as Wajsberg hoops, cancellative hoops and Gödel hoops. Finally, we show that the generalized rotation construction preserves the amalgamation property.