QBCC-algebras inherited from qosets
Quantum B-algebras
The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets,...
Quasimartingales et formes linéaires associées
Quasivarieties of pseudo-MV-algebras.
Quelques propriétés des 0-demi-groupes périodiques
Quelques propriétés des anneaux dont un sous-demi-groupe multiplicatif est un -demi-groupe
Quotient hyper pseudo BCK-algebras
In this paper, we first investigate some properties of the hyper pseudo BCK-algebras. Then we define the concepts of strong and reflexive hyper pseudo BCK-ideals and establish some relationships among them and the other types of hyper pseudo BCK-ideals. Also, we introduce the notion of regular congruence relation on hyper pseudo BCK-algebras and investigate some related properties. By using this relation, we construct the quotient hyper pseudo BCK-algebra and give some related results.