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 pseudoBCK algebra are provided. Finally, characterizations of Noetherian pseudo-BCK algebras and Artinian pseudo-BCK algebras via fuzzy ideals a...

Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras. We define and study new classes of pseudo equality algebras, such as com...

In this paper we study particular classes of pseudo-BCK algebras, bounded or not bounded, as pseudo-BCK(pP) algebras, pseudo-BCK(pP) lattices, pseudo-Hájek(pP) algebras and pseudo-Wajsberg algebras. We introduce new classes of pseudo-BCK(pP) lattices, we establish hierarchies and we give some examples. We work with left-defined algebras and we work with → and ; as primitive operations, not with...

The aim of this paper is to derive pseudo-BCK algebras from directoids and vice versa. We generalize some results proved by Ivan Chajda et al. in the case BCK-algebras. assign an arbitrary algebra a semilattice-like structure observe that point where are different structures. Finally, relation between commutative deductive systems bounded pseudo-BCK(pDN) characterization terms discussed.

D. Buşneag 1 defined pseudo valuation on a Hilbert algebra and proved that every pseudo valuation induces a pseudometric on a Hilbert algebra. Also, D. Buşneag 2 provided several theorems on extensions of pseudo valuations. C. Buşneag 3 introduced the notions of pseudo valuations valuations on residuated lattices, and proved some theorems of extension for these using the model of Hilbert algebr...

It is well-known that the representation of several classes of residuated lattices involves lattice-ordered groups. An often applicable method to determine the representing group (or groups) from a residuated lattice is based on partial algebras: the monoidal operation is restricted to those pairs which fulfil a certain extremality condition, and else left undefined. The subsequent construction...

In this paper, we extend the notions of states and measures presented in [12] to the case of pseudo-BCK algebras and study similar properties. We prove that, under some conditions, the notion of a state in the sense of [12] coincides with the Bosbach state, and we extend to the case of pseudo-BCK algebras some results proved by J. Kühr only for pseudo-BCK semilattices. We characterize extremal ...

In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

we present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. first, we introduce a hyper bck-algebra induced by a max-min general fuzzy automaton. then, we study the properties of this hyper bck-algebra. particularly, some theorems and results for hyper bck-algebra are proved. for example, it is shown that this structure consists of different ty...