Characterizations of fuzzy ideals of a pseudo-BCK algebra are established. Conditions for a fuzzy set to be a fuzzy ideal are given. Given a fuzzy set μ, the least fuzzy ideal containing μ is constructed. The homomorphic properties of fuzzy ideals of a pseudo-BCK algebra are provided. Finally, characterizations of Noetherian pseudo-BCK algebras and Artinian pseudo-BCK algebras in terms of fuzzy...

For a given variety Var of algebras we define the variety Var of dialgebras. This construction turns to be closely related with varieties of pseudo-algebras: every Var-dialgebra can be embedded into an appropriate pseudo-algebra of the variety Var. In particular, Leibniz algebras are exactly Lie dialgebras, and every Leibniz algebra can be embedded into current Lie conformal algebra.

A normal pseudo-BCK-algebra X is an algebra in which every subalgebra of X is an ideal of X . Characterizations of normal pseudo-BCK-algebras are given. 2010 Mathematics Subject Classification: 03G25, 06F35.

A universal algebra is simple if and only if it has more than one element and there are no proper homomorphisms defined upon it. In this note we study a related notion : an algebra is pseudo-simple if and only if it has more than one element and is isomorphic to all its proper (i.e., non-one-element) homomorphic images. The two concepts simplicity and pseudo-simplicity are examples of concepts ...

The aim of this paper is to introduce the notion of fantastic deductive systems on generalizations of fuzzy structures, and to emphasize their role in the probability theory on these algebras. We give a characterization of commutative pseudo-BE algebras and we generalize an axiom system consisting of four identities to the case of commutative pseudo-BE algebras. We define the fantastic deductiv...

In this paper, we introduce a new of BH-algebra and pseudo BH-algebra. We call covid-19 Also, give the concepts ( BH-algebra, ). And study some relationships between them.

Imai and Iséki [1] introduced the concept of BCK-algebra as a generalization of notions of set difference operation and propositional calculus. The notion of pseudo-BCK algebra was introduced by Georgescu and Iorgulescu [2] as generalization of BCK-algebras not assuming commutativity. Hájek [3] introduced the concept of BL-algebras as the general semantics of basic fuzzy logic (BL-logic). Iorgu...

The notion of a state is an analogue of a probability measure and was first introduced by Kôpka and Chovanec for MV-algebras and by Riec̆an for BLalgebras. The states have also been studied for different types of non-commutative fuzzy structures such as pseudo-MV algebras, pseudo-BL algebras, bounded R`monoids, residuated lattices and pseudo-BCK semilattices. In this paper we investigate the sta...