Page 1 Next

Displaying 1 – 20 of 23

Showing per page

Embeddings of totally ordered MV-algebras of bounded cardinality

Piotr J. Wojciechowski (2009)

Fundamenta Mathematicae

For a given cardinal number 𝔞, we construct a totally ordered MV-algebra M(𝔞) having the property that every totally ordered MV-algebra of cardinality at most 𝔞 embeds into M(𝔞). In case 𝔞 = ℵ₀, the algebra M(𝔞) is the first known MV-algebra with respect to which the deductive system for the infinitely-valued Łukasiewicz's propositional logic is strongly complete.

Enriched MV-algebras.

Ulrich Höhle (1995)

Mathware and Soft Computing

This paper introduces the structure of enriched MV-algebras and studies on this basis various relations between sigma-complete MV-algebras and T-tribes.

Entropy on effect algebras with the Riesz decomposition property I: Basic properties

Antonio Di Nola, Anatolij Dvurečenskij, Marek Hyčko, Corrado Manara (2005)

Kybernetika

We define the entropy, lower and upper entropy, and the conditional entropy of a dynamical system consisting of an effect algebra with the Riesz decomposition property, a state, and a transformation. Such effect algebras allow many refinements of two partitions. We present the basic properties of these entropies and these notions are illustrated by many examples. Entropy on MV-algebras is postponed to Part II.

Epimorphisms between finite MV-algebras

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

Mathematica Bohemica

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

Equimorphy in varieties of distributive double p -algebras

Václav Koubek, Jiří Sichler (1998)

Czechoslovak Mathematical Journal

Any finitely generated regular variety 𝕍 of distributive double p -algebras is finitely determined, meaning that for some finite cardinal n ( 𝕍 ) , any subclass S 𝕍 of algebras with isomorphic endomorphism monoids has fewer than n ( 𝕍 ) pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double p -algebras...

Equimorphy in varieties of double Heyting algebras

V. Koubek, J. Sichler (1998)

Colloquium Mathematicae

We show that any finitely generated variety V of double Heyting algebras is finitely determined, meaning that for some finite cardinal n(V), any class 𝒮 ⊆ V consisting of algebras with pairwise isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result complements the earlier established fact of categorical universality of the variety of all double Heyting algebras, and contrasts with categorical results concerning finitely generated varieties of distributive...

Currently displaying 1 – 20 of 23

Page 1 Next