It is known that any MV -algebra is a topological MV -algebra. For a locally finite MV -algebra A with some algebraic and topological conditions the product A× A becomes a compact Riemann surface (modulo conformal equivalence). Topologically, it is a torus.

An MV-pair is a pair (B, G), where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain condition. Recently it was proved by one of the authors that for an MV-pair (B, G), ∼G is an effect-algebraic congruence and B/ ∼G is an MV-algebra. Moreover, every MV-algebra M can be represented by an MV-pair in this way. In this paper we show that one can define a s...

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

Fuzzy ideals of pseudo MV-algebras are investigated. The homomorphic properties of fuzzy prime ideals are given. A one-to-one correspondence between the set of maximal ideals and the set of fuzzy maximal ideals μ satisfying μ(0) = 1 and μ(1) = 0 is obtained.

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

In this paper, we investigate the relationships between lattice-groups and two types of pseudo MV-algebras. Moreover, we find pseudo MValgebras induced by functions. We give their examples. Mathematics Subject Classification: 06D35, 06D50, 06F05, 06F15

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