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

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

The notion of Poisson manifold with compatible pseudo-metric was introduced by the author in [1]. In this paper, we introduce a new class of Lie algebras which we call a pseudo-Riemannian Lie algebras. The two notions are strongly related: we prove that a linear Poisson structure on the dual of a Lie algebra has a compatible pseudo-metric if and only if the Lie algebra is a pseudo-Riemannian Li...

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

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

Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...

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

Some new properties of fuzzy associative filters (also known as fuzzy associative pseudo-filters), fuzzy p-filter (also known as fuzzy pseudo-p-filters), and fuzzy a-filter (also known as fuzzy pseudo-a-filters) in pseudo-BCI algebras are investigated. By these properties, the following important results are proved: (1) a fuzzy filter (also known as fuzzy pseudo-filters) of a pseudo-BCI algebra...

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

Georgescu and Iorgulescu [3] introduced pseudo-BCK-algebras (in a slightly different way) as a non-commutative generalization of BCK-algebras, in the sense that if →= , then the algebra (A,→, 1) is a BCK-algebra. Pseudo-BCK-algebras relate to (non-commutative) residuated lattices as BCK-algebras do to commutative residuated lattices; specifically, by [6], pseudoBCK-algebras are just the 〈→, , 1...