Displaying similar documents to “State-homomorphisms on M V -algebras”

Banaschewski’s theorem for generalized M V -algebras

Ján Jakubík (2007)

Czechoslovak Mathematical Journal

Similarity:

A generalized M V -algebra 𝒜 is called representable if it is a subdirect product of linearly ordered generalized M V -algebras. Let S be the system of all congruence relations ρ on 𝒜 such that the quotient algebra 𝒜 / ρ is representable. In the present paper we prove that the system S has a least element.

Epimorphisms between finite MV-algebras

Aldo V. Figallo, Marina B. Lattanzi (2017)

Mathematica Bohemica

Similarity:

MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Łukasiewicz propositional calculus. Recently, algebraic theory of MV-algebras has been intensively studied. Wajsberg algebras are just a reformulation of Chang MV-algebras where implication is used instead of disjunction. Using these equivalence, in this paper we provide conditions for the existence of an epimorphism between two finite MV-algebras A and B . Specifically, we define the mv-functions with...

On idempotent modifications of M V -algebras

Ján Jakubík (2007)

Czechoslovak Mathematical Journal

Similarity:

The notion of idempotent modification of an algebra was introduced by Ježek. He proved that the idempotent modification of a group is subdirectly irreducible. For an M V -algebra 𝒜 we denote by 𝒜 ' , A and ℓ ( 𝒜 ) the idempotent modification, the underlying set or the underlying lattice of 𝒜 , respectively. In the present paper we prove that if 𝒜 is semisimple and ℓ ( 𝒜 ) is a chain, then 𝒜 ' is subdirectly irreducible. We deal also with a question of Ježek concerning varieties of algebras.

On intervals and isometries of M V -algebras

Ján Jakubík (2002)

Czechoslovak Mathematical Journal

Similarity:

Let Int 𝒜 be the lattice of all intervals of an M V -algebra 𝒜 . In the present paper we investigate the relations between direct product decompositions of 𝒜 and (i) the lattice Int 𝒜 , or (ii) 2-periodic isometries on 𝒜 , respectively.