QBCC-algebras inherited from qosets
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.
Radical approach in BCH-algebras.
Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup.
Representation and duality for Hilbert algebras
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are...
Rough subalgebras of some binary algebras connected with logics.
Smarandache BCC-algebras.
Some axiomatizations of -algebras
Some categorical aspects of BCH-algebras.
Strong ideals and horizontal ideals in pseudo-BCH-algebras
In this paper we define strong ideals and horizontal ideals in pseudo-BCH-algebras and investigate the properties and characterizations of them.
Strong implicative hyper -ideals.
Subdirectly irreducible MV-algebras
In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.
Subtraction algebras and -algebras
In this note we show that a subtraction algebra is equivalent to an implicative -algebra, and a subtraction semigroup is a special case of a -semigroup.
-fuzzy ideals in BCI-algebras.
-fuzzy multiply positive implicative BCC-ideals of BCC-algebras.
The existence of states on every Archimedean atomic lattice effect algebra with at most five blocks
Effect algebras are very natural logical structures as carriers of probabilities and states. They were introduced for modeling of sets of propositions, properties, questions, or events with fuzziness, uncertainty or unsharpness. Nevertheless, there are effect algebras without any state, and questions about the existence (for non-modular) are still unanswered. We show that every Archimedean atomic lattice effect algebra with at most five blocks (maximal MV-subalgebras) has at least one state, which...
Tolerance numbers, congruence -permutability and BCK-algebras
Zero invariant and idempotent fuzzy BCC-subalgebras