Page 1

Displaying 1 – 7 of 7

Showing per page

Quantum B-algebras

Wolfgang Rump (2013)

Open Mathematics

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,...

Quotient hyper pseudo BCK-algebras

Habib Harizavi, Tayebeh Koochakpoor, Rajab Ali Boorzoei (2013)

Discussiones Mathematicae - General Algebra and Applications

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.

Currently displaying 1 – 7 of 7

Page 1