-
Representation and Embedding of Pseudo MV-algebras with Square Roots II. Closures
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, the main aim is to continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is divided into two parts. In the first part, we investigate the relationship between a pseudo MV-algebra with square root and its corresponding unit…
▽ More
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, the main aim is to continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is divided into two parts. In the first part, we investigate the relationship between a pseudo MV-algebra with square root and its corresponding unital $\ell$-group in the scene of two-divisibility.
In the present second part, we find some conditions under which a particular class of pseudo MV-algebras can be embedded into pseudo MV-algebras with square roots. We introduce and investigate the concepts of a strict square root of a pseudo MV-algebra and a square root closure, and we compare both notions. We show that each MV-algebra has a square root closure. Finally, using the square root of individual elements of a pseudo MV-algebra, we find the greatest subalgebra of a special pseudo MV-algebra with weak square root.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Representation and Embedding of Pseudo MV-algebras with Square Roots I. Strict Square Roots
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, we continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is divided into two parts. In the present first part, we investigate the relationship between a pseudo MV-algebra with square root and its corresponding unital…
▽ More
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, we continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is divided into two parts. In the present first part, we investigate the relationship between a pseudo MV-algebra with square root and its corresponding unital $\ell$-group in the scene of two-divisibility.
In the second part, we find some conditions under which a particular class of pseudo MV-algebras can be embedded into pseudo MV-algebras with square roots. We introduce and investigate the concepts of a strict square root of a pseudo MV-algebra and a square root closure, and we compare both notions. We show that each MV-algebra has a square root closure. Finally, using the square root of individual elements of a pseudo MV-algebra, we find the greatest subalgebra of a special pseudo MV-algebra with weak square root.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Some results on pseudo MV-algebras with square roots
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
The paper provides a study of pseudo MV-algebras with square roots. We introduce different notions of a square root on a pseudo MV-algebra, and present their main properties. We show that the class of pseudo-MV-algebras with square roots is a proper subvariety of the variety of pseudo MV-algebras. Then, we define a strict square root to classify the class of pseudo MV-algebras with square roots. W…
▽ More
The paper provides a study of pseudo MV-algebras with square roots. We introduce different notions of a square root on a pseudo MV-algebra, and present their main properties. We show that the class of pseudo-MV-algebras with square roots is a proper subvariety of the variety of pseudo MV-algebras. Then, we define a strict square root to classify the class of pseudo MV-algebras with square roots. We found a relationship between strongly atomless pseudo MV-algebras and strict pseudo MV-algebras. Finally, we investigate square roots on representable symmetric pseudo MV-algebras, and we present a complete characterization of a square root and a weak square root on a representable symmetric pseudo MV-algebra using addition in a unital $\ell$-group. Some interesting examples are provided.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
On EMV-algebras with square roots
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
A square root is a unary operation with some special properties. In the paper, we introduce and study square roots on EMV-algebras. First, the known properties of square roots defined on MV-algebras will be generalized for EMV-algebras, and we also find some new ones for MV-algebras. We use square roots to characterize EMV-algebras. Then, we find a relation between the square root of an EMV-algebr…
▽ More
A square root is a unary operation with some special properties. In the paper, we introduce and study square roots on EMV-algebras. First, the known properties of square roots defined on MV-algebras will be generalized for EMV-algebras, and we also find some new ones for MV-algebras. We use square roots to characterize EMV-algebras. Then, we find a relation between the square root of an EMV-algebra and the square root on its representing EMV-algebra with top element. We show that each strict EMV-algebra has a top element and we investigate the relation between divisible EMV-algebras and EMV-algebras with a special square root. Finally, we present square roots on tribes, EMV-tribes, and we present a complete characterization of any square root on an MV-algebra and on an EMV-algebra by group addition in the corresponding unital $\ell$-group.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
$n$-dimensional Observables on $k$-Perfect MV-Algebras and $k$-Perfect Effect Algebras. II. One-to-one Correspondence
Authors:
Anatolij Dvurečenskij,
Dominik Lachman
Abstract:
The paper is a continuation of the research on a one-to-one correspondence between $n$-dimensional spectral resolutions and $n$-dimensional observables on lexicographic types of quantum structures which started in \cite{DvLa4}. In Part I, we presented the main properties of $n$-dimensional spectral resolutions and observables, and we deeply studied characteristic points which are crucial for our s…
▽ More
The paper is a continuation of the research on a one-to-one correspondence between $n$-dimensional spectral resolutions and $n$-dimensional observables on lexicographic types of quantum structures which started in \cite{DvLa4}. In Part I, we presented the main properties of $n$-dimensional spectral resolutions and observables, and we deeply studied characteristic points which are crucial for our study. In present Part II, there is a main body of our research. We investigate a one-to-one correspondence between $n$-dimensional observables and $n$-dimensional spectral resolutions with values in a kind of a lexicographic form of quantum structures like perfect MV-algebras or perfect effect algebras. The multidimensional version of this problem is more complicated than a one-dimensional one because if our algebraic structure is $k$-perfect for $k>1$, then even for the two-dimensional case of spectral resolutions we have more characteristic points. The obtained results are applied to existence of an $n$-dimensional meet joint observable of $n$ one-dimensional observables on a perfect MV-algebra and a sum of $n$-dimensional observables.
△ Less
Submitted 23 October, 2020;
originally announced November 2020.
-
$n$-dimensional Observables on $k$-Perfect MV-Algebras and $k$-Perfect Effect Algebras. I. Characteristic Points
Authors:
Anatolij Dvurečenskij,
Dominik Lachman
Abstract:
In the paper, we investigate a one-to-one correspondence between $n$-dimensional observables and $n$-dimensional spectral resolutions with values in a kind of a lexicographic form of quantum structures like perfect MV-algebras or perfect effect algebras. The multidimensional version of this problem is more complicated than a one-dimensional one because if our algebraic structure is $k$-perfect for…
▽ More
In the paper, we investigate a one-to-one correspondence between $n$-dimensional observables and $n$-dimensional spectral resolutions with values in a kind of a lexicographic form of quantum structures like perfect MV-algebras or perfect effect algebras. The multidimensional version of this problem is more complicated than a one-dimensional one because if our algebraic structure is $k$-perfect for $k>1$, then even for the two-dimensional case we have more characteristic points. The obtained results are also applied to existence of an $n$-dimensional meet joint observable of $n$ one-dimensional observables on a perfect MV-algebra. The results are divided into two parts. In Part I, we present notions of $n$-dimensional observables and $n$-dimensional spectral resolutions with accent on lexicographic type effect algebras and lexicographic MV-algebras. We concentrate on characteristic points of spectral resolutions and the main body is in Part II where one-to-one relations between observables and spectral resolutions are presented.
△ Less
Submitted 23 October, 2020;
originally announced November 2020.
-
Lifting, $n$-Dimensional Spectral Resolutions, and $n$-Dimensional Observables
Authors:
Anatolij Dvurečenskij,
Dominik Lachman
Abstract:
We show that under some natural conditions, we are able to lift an $n$-dimensional spectral resolution from one monotone $σ$-complete unital po-group into another one, when the first one is a $σ$-homomorphic image of the second one. We note that an $n$-dimensional spectral resolution is a mapping from $\mathbb R^n$ into a quantum structure which is monotone, left-continuous with non-negative incre…
▽ More
We show that under some natural conditions, we are able to lift an $n$-dimensional spectral resolution from one monotone $σ$-complete unital po-group into another one, when the first one is a $σ$-homomorphic image of the second one. We note that an $n$-dimensional spectral resolution is a mapping from $\mathbb R^n$ into a quantum structure which is monotone, left-continuous with non-negative increments and which is going to $0$ if one variable goes to $-\infty$ and it goes to $1$ if all variables go to $+\infty$. Applying this result to some important classes of effect algebras including also MV-algebras, we show that there is a one-to-one correspondence between $n$-dimensional spectral resolutions and $n$-dimensional observables on these effect algebras which are a kind of $σ$-homomorphisms from the Borel $σ$-algebra of $\mathbb R^n$ into the quantum structure. An important used tool are two forms of the Loomis--Sikorski theorem which use two kinds of tribes of fuzzy sets. In addition, we show that we can define three different kinds of $n$-dimensional joint observables of $n$ one-dimensional observables.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
A Variety Containing EMV-Algebras and Pierce Sheaves
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
According to \cite{Dvz}, we know that the class of all EMV-algebras, $\mathsf{EMV}$, is not a variety, since it is not closed under the subalgebra operator. The main aim of this work is to find the least variety containing $\mathsf{EMV}$. For this reason, we introduced the variety $\mathsf{wEMV}$ of wEMV-algebras of type $(2,2,2,2,0)$ induced by some identities. We show that, adding a derived bina…
▽ More
According to \cite{Dvz}, we know that the class of all EMV-algebras, $\mathsf{EMV}$, is not a variety, since it is not closed under the subalgebra operator. The main aim of this work is to find the least variety containing $\mathsf{EMV}$. For this reason, we introduced the variety $\mathsf{wEMV}$ of wEMV-algebras of type $(2,2,2,2,0)$ induced by some identities. We show that, adding a derived binary operation $\ominus$ to each EMV-algebra $(M;\vee,\wedge,\oplus,0)$, we extend its language, so that $(M;\vee,\wedge,\oplus,\ominus,0)$, called an associated wEMV-algebra, belongs to $\mathsf{wEMV}$. Then using the congruence relations induced by the prime ideals of a wEMV-algebra, we prove that each wEMV-algebra can be embedded into an associated wEMV-algebra. We show that $\mathsf{wEMV}$ is the least subvariety of the variety of wEMV-algebras containing $\mathsf{EMV}$. Finally, we study Pierce sheaves of proper EMV-algebras.
△ Less
Submitted 9 November, 2019;
originally announced November 2019.
-
Morphisms on $EMV$-algebras and Their Applications
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we introduce $EMV$-morphisms as a family of $MV$-homomorphisms from $MV$-algebras $[0,a]$ into other ones. $EMV$-morphisms enable us to study categories of $EMV$-algebra…
▽ More
For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we introduce $EMV$-morphisms as a family of $MV$-homomorphisms from $MV$-algebras $[0,a]$ into other ones. $EMV$-morphisms enable us to study categories of $EMV$-algebras where objects are $EMV$-algebras and morphisms are special classes of $EMV$-morphisms. The category is closed under product. In addition, we define free $EMV$-algebras on a set $X$ with respect to $EMV$-morphisms. If $X$ is finite, then the free $MV$-algebra on $X$ is a free $EMV$-algebras. For an infinite set $X$, the same is true introducing a so-called weakly free $EMV$-algebra.
△ Less
Submitted 17 October, 2017;
originally announced October 2017.
-
Riesz space-valued states on pseudo MV-algebras
Authors:
Anatolij Dvurečenskij
Abstract:
We introduce Riesz space-valued states, called $(R,1_R)$-states, on a pseudo MV-algebra, where $R$ is a Riesz space with a fixed strong unit $1_R$. Pseudo MV-algebras are a non-commutative generalization of MV-algebras. Such a Riesz space-valued state is a generalization of usual states on MV-algebras. Any $(R,1_R)$-state is an additive mapping preserving a partial addition in pseudo MV-algebras.…
▽ More
We introduce Riesz space-valued states, called $(R,1_R)$-states, on a pseudo MV-algebra, where $R$ is a Riesz space with a fixed strong unit $1_R$. Pseudo MV-algebras are a non-commutative generalization of MV-algebras. Such a Riesz space-valued state is a generalization of usual states on MV-algebras. Any $(R,1_R)$-state is an additive mapping preserving a partial addition in pseudo MV-algebras. Besides we introduce $(R,1_R)$-state-morphisms and extremal $(R,1_R)$-states, and we study relations between them. We study metrical completion of unital $\ell$-groups with respect to an $(R,1_R)$-state. If the unital Riesz space is Dedekind complete, we study when the space of $(R,1_R)$-states is a Choquet simplex or even a Bauer simplex.
△ Less
Submitted 19 September, 2017;
originally announced September 2017.
-
States on EMV-algebras
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
We define a state as a $[0,1]$-valued, finitely additive function attaining the value $1$ on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed. We show that states always exist, the extremal states are exactly state-morphisms. Nevertheless the state space is a convex space that is not necessarily compact, a variant of the Krein--Mil'man theo…
▽ More
We define a state as a $[0,1]$-valued, finitely additive function attaining the value $1$ on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed. We show that states always exist, the extremal states are exactly state-morphisms. Nevertheless the state space is a convex space that is not necessarily compact, a variant of the Krein--Mil'man theorem saying states are generated by extremal states, is proved. We define a weaker form of states, pre-states and strong pre-states, and also Jordan signed measures which form a Dedekind complete $\ell$-group. Finally, we show that every state can be represented by a unique regular probability measure, and a variant of the Horn--Tarski theorem is proved.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
The Loomis--Sikorski Theorem for $EMV$-algebras
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
Recently, in [DvZa], we have introduced $EMV$-algebras which resemble $MV$-algebras but the top element is not guaranteed for them. For $σ$-complete $EMV$-algebras, we prove an analogue of the Loomis--Sikorski Theorem showing that every $σ$-complete $EMV$-algebra is a $σ$-homomorphic image of an $EMV$-tribe of fuzzy sets where all algebraic operations are defined by points. To prove it, some topol…
▽ More
Recently, in [DvZa], we have introduced $EMV$-algebras which resemble $MV$-algebras but the top element is not guaranteed for them. For $σ$-complete $EMV$-algebras, we prove an analogue of the Loomis--Sikorski Theorem showing that every $σ$-complete $EMV$-algebra is a $σ$-homomorphic image of an $EMV$-tribe of fuzzy sets where all algebraic operations are defined by points. To prove it, some topological properties of the state-morphism space and the space of maximal ideals are established.
△ Less
Submitted 2 July, 2017;
originally announced July 2017.
-
Kites and Residuated Lattices
Authors:
Michal Botur,
Anatolij Dvurečenskij
Abstract:
We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade kite, therefore, we call this algebra simply a kite. We describe subdirectly irreducible kites and we classify them. We show that the variety of integral residuate…
▽ More
We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade kite, therefore, we call this algebra simply a kite. We describe subdirectly irreducible kites and we classify them. We show that the variety of integral residuated lattices generated by kites is generated by all finite-dimensional kites. In particular, we describe some homomorphisms among kites.
△ Less
Submitted 2 July, 2017;
originally announced July 2017.
-
On EMV-algebras
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
The paper deals with an algebraic extension of $MV$-algebras based on the definition of generalized Boolean algebras. We introduce a new algebraic structure, not necessarily with a top element, which is called an $EMV$-algebra and every $EMV$-algebra contains an $MV$-algebra. First, we present basic properties of $EMV$-algebras, give some examples, introduce and investigate congruence relations, i…
▽ More
The paper deals with an algebraic extension of $MV$-algebras based on the definition of generalized Boolean algebras. We introduce a new algebraic structure, not necessarily with a top element, which is called an $EMV$-algebra and every $EMV$-algebra contains an $MV$-algebra. First, we present basic properties of $EMV$-algebras, give some examples, introduce and investigate congruence relations, ideals and filters on this algebra. We show that each $EMV$-algebra can be embedded into an $MV$-algebra and we characterize $EMV$-algebras either as $MV$-algebras or maximal ideals of $MV$-algebras. We study the lattice of ideals of an $EMV$-algebra and prove that any $EMV$-algebra has at least one maximal ideal. We define an $EMV$-clan of fuzzy sets as a special $EMV$-algebra. We show any semisimple $EMV$-algebra is isomorphic to an $EMV$-clan of fuzzy functions on a set. We consider the variety of $EMV$-algebra and we present an equational base for each proper subvariety of the variety of $EMV$-algebras. We establish a categorical equivalencies of the category of proper $EMV$-algebras, the category of $MV$-algebras with a fixed special maximal ideal, and a special category of Abelian unital $\ell$-groups.
△ Less
Submitted 2 June, 2017;
originally announced June 2017.
-
Sum of Observables on MV-Effect Algebras
Authors:
Anatolij Dvurečenskij
Abstract:
Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a $σ$-MV-effect algebra. This sum is commutative, associative and with neutral element. Under the Olson order of observables, the set of bounded observables is a partially ordered semigroup, and the set of sharp observables is even a Dedekind $σ$-complete…
▽ More
Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a $σ$-MV-effect algebra. This sum is commutative, associative and with neutral element. Under the Olson order of observables, the set of bounded observables is a partially ordered semigroup, and the set of sharp observables is even a Dedekind $σ$-complete $\ell$-group with strong unit.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
Quantum Observables and Effect Algebras
Authors:
Anatolij Dvurečenskij
Abstract:
We study observables on monotone $σ$-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. The set of sharp elements of a monotone $σ$-complete homogeneous effect algebra is a monotone $σ$-complete subalgebra. In addition, we study compatibility in orthoalgebras.
We study observables on monotone $σ$-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. The set of sharp elements of a monotone $σ$-complete homogeneous effect algebra is a monotone $σ$-complete subalgebra. In addition, we study compatibility in orthoalgebras.
△ Less
Submitted 21 September, 2016;
originally announced September 2016.
-
On epicomplete $MV$-algebras
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
The aim of the paper is to study epicomplete objects in the category of $MV$-algebras. A relation between injective $MV$-algebras and epicomplete $MV$-algebras is found, an equivalence condition for an $MV$-algebra to be epicomplete is obtained, and it is shown that the class of divisible $MV$-algebras and the class of epicomplete $MV$-algebras are the same. Finally, the concept of an epicompletio…
▽ More
The aim of the paper is to study epicomplete objects in the category of $MV$-algebras. A relation between injective $MV$-algebras and epicomplete $MV$-algebras is found, an equivalence condition for an $MV$-algebra to be epicomplete is obtained, and it is shown that the class of divisible $MV$-algebras and the class of epicomplete $MV$-algebras are the same. Finally, the concept of an epicompletion for $MV$-algebras is introduced, and the conditions under which an $MV$-algebra has an epicompletion are obtained. As a result we show that each $MV$-algebra has an epicompletion.
△ Less
Submitted 12 September, 2016;
originally announced September 2016.
-
When Lexicographic Product of Two po-Groups has the Riesz Decomposition Property
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
We study conditions when a certain type of the Riesz Decomposition Property (RDP for short) holds in the lexicographic product of two po-groups. Defining two important properties of po-groups, we extend known situations showing that the lexicographic product satisfies RDP or even RDP$_1$, a stronger type of RDP. We recall that a very strong type of RDP, RDP$_2$, entails that the group is lattice o…
▽ More
We study conditions when a certain type of the Riesz Decomposition Property (RDP for short) holds in the lexicographic product of two po-groups. Defining two important properties of po-groups, we extend known situations showing that the lexicographic product satisfies RDP or even RDP$_1$, a stronger type of RDP. We recall that a very strong type of RDP, RDP$_2$, entails that the group is lattice ordered. RDP's of the lexicographic products are important for the study of lexicographic pseudo effect algebras, or perfect types of pseudo MV-algebras and pseudo effect algebras, where infinitesimal elements play an important role both for algebras as well as for the first order logic of valid but not provable formulas.
△ Less
Submitted 29 April, 2016;
originally announced April 2016.
-
Olson Order of Quantum Observables
Authors:
Anatolij Dvurečenskij
Abstract:
Using ideas of Olson \cite{Ols} who showed that the system of effect operators of a Hilbert space can be ordered by the so-called spectral order such that the system of effect operators is a complete lattice. Using his ideas, we introduce a partial order, called the Olson order, on the set of bounded observables of a complete lattice effect algebra. We show that the set of bounded observables is a…
▽ More
Using ideas of Olson \cite{Ols} who showed that the system of effect operators of a Hilbert space can be ordered by the so-called spectral order such that the system of effect operators is a complete lattice. Using his ideas, we introduce a partial order, called the Olson order, on the set of bounded observables of a complete lattice effect algebra. We show that the set of bounded observables is a Dedekind complete lattice.0
△ Less
Submitted 3 April, 2016;
originally announced April 2016.
-
Riesz Decomposition Properties and the Lexicographic Product of po-groups
Authors:
Anatolij Dvurečenskij
Abstract:
We establish conditions when a certain type of the Riesz Decomposition Property (RDP) holds in the lexicographic product of two po-groups. It is well known that the resulting product is an $\ell$-group if and only if the first one is linearly ordered and the second one is an $\ell$-group. This can be equivalently studied as po-groups with a special type of the RDP. In the paper we study three diff…
▽ More
We establish conditions when a certain type of the Riesz Decomposition Property (RDP) holds in the lexicographic product of two po-groups. It is well known that the resulting product is an $\ell$-group if and only if the first one is linearly ordered and the second one is an $\ell$-group. This can be equivalently studied as po-groups with a special type of the RDP. In the paper we study three different types of RDP's. RDP's of the lexicographic products are important for the study of pseudo effect algebras where infinitesimal elements play an important role both for algebras as well as for the first order logic of valid but not provable formulas.
△ Less
Submitted 28 June, 2015;
originally announced June 2015.
-
Lexicographic Pseudo MV-algebras
Authors:
Anatolij Dvurečenskij
Abstract:
A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show that a key condition is the existence of a lexicographic ideal, or equivalently, a case when the algebra can be split into comparable slices indexed by element…
▽ More
A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show that a key condition is the existence of a lexicographic ideal, or equivalently, a case when the algebra can be split into comparable slices indexed by elements of the interval $[0,u]$ of some unital linearly ordered group $(H,u)$. Finally, we show that fixing $(H,u)$, the category of $(H,u)$-lexicographic pseudo MV-algebras is categorically equivalent to the category of $\ell$-groups.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Orthocomplete Pseudo MV-algebras
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large pseudo $MV$-subalgebras to introduce orthocomplete pseudo $MV$-algebras. Then we apply a generalization of the Mundici's functor to an orthocompletion of an rep…
▽ More
Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large pseudo $MV$-subalgebras to introduce orthocomplete pseudo $MV$-algebras. Then we apply a generalization of the Mundici's functor to an orthocompletion of an representable $\ell$-group to prove that each representable pseudo $MV$-algebra has an orthocompletion. In particular, our results are valid also for $MV$-algebras.
△ Less
Submitted 16 May, 2015;
originally announced May 2015.
-
Kite $n$-Perfect Pseudo Effect Algebras
Authors:
Michal Botur,
Anatolij Dvurečenskij
Abstract:
Kite pseudo effect algebras were recently introduced as a class of interesting examples of pseudo effect algebras using a po-group, an index set and two bijections on the index set. We represent kite pseudo effect algebras with a special kind of the Riesz decomposition property as an interval in a lexicographic extension of the po-group which solves an open problem on representation of kites. In a…
▽ More
Kite pseudo effect algebras were recently introduced as a class of interesting examples of pseudo effect algebras using a po-group, an index set and two bijections on the index set. We represent kite pseudo effect algebras with a special kind of the Riesz decomposition property as an interval in a lexicographic extension of the po-group which solves an open problem on representation of kites. In addition, we introduce kite $n$-perfect pseudo effect algebras and we characterize subdirectly irreducible algebras which are building stones of the theory.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
On pseudo BL-algebras and pseudo hoops with normal maximal filters
Authors:
Michal Botur,
Anatolij Dvurečenskij
Abstract:
We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit.
We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit.
△ Less
Submitted 6 December, 2014;
originally announced December 2014.
-
Some results on $L$-complete lattices
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
The paper deals with special types of $L$-ordered set, $L$-fuzzy complete lattices, and fuzzy directed complete posets (fuzzy $dcpo$s). First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it is proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then $\sqcap S_f$ is the least fi…
▽ More
The paper deals with special types of $L$-ordered set, $L$-fuzzy complete lattices, and fuzzy directed complete posets (fuzzy $dcpo$s). First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it is proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then $\sqcap S_f$ is the least fixpoint of $f$. A relation between $L$-fuzzy complete lattices and fixpoints is found and fuzzy versions of monotonicity, rolling, fusion and exchange rules on $L$-complete lattices are stated. Finally, we investigate $Hom(P,P)$, where $(P;e)$ is a fuzzy $dcpo$, and we show that $Hom(P,P)$ is a fuzzy $dcpo$, the map $γ\mapsto \bigwedge_{x\in P}e(x,γ(x))$ is a fuzzy directed subset of $Hom(P,P)$, and we investigate its join.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
Lexicographic Effect Algebras
Authors:
Anatolij Dvurečenskij
Abstract:
In the paper we investigate a class of effect algebras which can be represented in the form of the lexicographic product $Γ(H\lex G,(u,0))$, where $(H,u)$ is an Abelian unital po-group and $G$ is an Abelian directed po-group. We study algebraic conditions when an effect algebra is of this form. Fixing a unital po-group $(H,u)$, the category of strong $(H,u)$-perfect effect algebra is introduced an…
▽ More
In the paper we investigate a class of effect algebras which can be represented in the form of the lexicographic product $Γ(H\lex G,(u,0))$, where $(H,u)$ is an Abelian unital po-group and $G$ is an Abelian directed po-group. We study algebraic conditions when an effect algebra is of this form. Fixing a unital po-group $(H,u)$, the category of strong $(H,u)$-perfect effect algebra is introduced and it is shown that it is categorically equivalent to the category of directed po-group with interpolation. We show some representation theorems including a subdirect product representation by antilattice lexicographic effect algebras.
△ Less
Submitted 16 August, 2014;
originally announced August 2014.
-
Pseudo MV-algebras and Lexicographic Product
Authors:
Anatolij Dvurečenskij
Abstract:
We study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian. We introduce $(H,u)$-perfect pseudo MV-algebras and strong $(H,u)$-perfect pseudo MV-algebras, the latter ones will have a representation by a lexicographic product. Fixing a unital $\ell$-group $(H,u)$, the category…
▽ More
We study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian. We introduce $(H,u)$-perfect pseudo MV-algebras and strong $(H,u)$-perfect pseudo MV-algebras, the latter ones will have a representation by a lexicographic product. Fixing a unital $\ell$-group $(H,u)$, the category of strong $(H,u)$-perfect pseudo MV-algebras is categorically equivalent to the category of $\ell$-groups.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
Pseudo Equality Algebras -- Revision
Authors:
Anatolij Dvurečenskij,
Omid Zahiri
Abstract:
Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and Kóródi to pseudo equality algebras which are aimed to find a connection with pseudo BCK-algebras with meet. We show that every pseudo equality algebra is an equality algebra. Therefore, we define a new type of pseudo equality algebras…
▽ More
Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and Kóródi to pseudo equality algebras which are aimed to find a connection with pseudo BCK-algebras with meet. We show that every pseudo equality algebra is an equality algebra. Therefore, we define a new type of pseudo equality algebras which more precisely reflects the relation to pseudo BCK-algebras with meet in the sense of Kabziński and Wroński. We describe congruences via normal closed deductive systems, and we show that the variety of pseudo equality algebras is subtractive, congruence distributive and congruence permutable.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
On a New Construction of Pseudo Effect Algebras
Authors:
Anatolij Dvurečenskij
Abstract:
We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected not necessarily with partially ordered groups, but rather with generalized pseudo effect algebras where the greatest element is not guaranteed. Starting even with a commutative generalized pseudo effect algebra, we can obtain a non-commutative pseudo effect algebra. We show how such kite pseudo…
▽ More
We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected not necessarily with partially ordered groups, but rather with generalized pseudo effect algebras where the greatest element is not guaranteed. Starting even with a commutative generalized pseudo effect algebra, we can obtain a non-commutative pseudo effect algebra. We show how such kite pseudo effect algebras are tied with different types of the Riesz Decomposition Properties. We find conditions when kite pseudo effect algebras have the least non-trivial normal ideal.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
On a New Construction of Pseudo BL-Algebras
Authors:
Anatolij Dvurečenskij
Abstract:
We present a new construction of a class pseudo BL-algebras, called kite pseudo BL-algebras. We start with a basic pseudo hoop $A$. Using two injective mappings from one set, $J$, into the second one, $I$, and with an identical copy $\overline A$ with the reverse order we construct a pseudo BL-algebra where the lower part is of the form $(\overline A)^J$ and the upper one is $A^I$. Starting with a…
▽ More
We present a new construction of a class pseudo BL-algebras, called kite pseudo BL-algebras. We start with a basic pseudo hoop $A$. Using two injective mappings from one set, $J$, into the second one, $I$, and with an identical copy $\overline A$ with the reverse order we construct a pseudo BL-algebra where the lower part is of the form $(\overline A)^J$ and the upper one is $A^I$. Starting with a basic commutative hoop we can obtain even a non-commutative pseudo BL-algebra or a pseudo MV-algebra, or an algebra with non-commuting negations. We describe the construction, subdirect irreducible kite pseudo BL-algebras and their classification.
△ Less
Submitted 6 March, 2014;
originally announced March 2014.
-
$L$-Ordered and $L$-Lattice Ordered Groups
Authors:
R. A. Borzooei,
A. Dvurečenskij,
O. Zahiri
Abstract:
This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is introduced and some related results are obtained. Then we applied them to define an $L$-lattice ordered group. We also introduce convex $L$-subgroups to construct a…
▽ More
This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is introduced and some related results are obtained. Then we applied them to define an $L$-lattice ordered group. We also introduce convex $L$-subgroups to construct a quotient $L$-ordered group. At last, a relation between the positive cone of an $L$-ordered group and special type of elements of $L^G$ is found, where $G$ is a group.
△ Less
Submitted 6 March, 2014;
originally announced March 2014.
-
Some Remarks on Kite Pseudo Effect Algebras
Authors:
Anatolij Dvurečenskij,
W. Charles Holland
Abstract:
Recently a new family of pseudo effect algebras, called kite pseudo effect algebras, was introduced. Such an algebra starts with a po-group $G$, a set $I$ and with two bijections $λ,ρ:I \to I.$ Using a clever construction on the ordinal sum of $(G^+)^I$ and $(G^-)^I,$ we can define a pseudo effect algebra which can be non-commutative even if $G$ is an Abelian po-group. In the paper we give a chara…
▽ More
Recently a new family of pseudo effect algebras, called kite pseudo effect algebras, was introduced. Such an algebra starts with a po-group $G$, a set $I$ and with two bijections $λ,ρ:I \to I.$ Using a clever construction on the ordinal sum of $(G^+)^I$ and $(G^-)^I,$ we can define a pseudo effect algebra which can be non-commutative even if $G$ is an Abelian po-group. In the paper we give a characterization of subdirect product of subdirectly irreducible kite pseudo effect algebras, and we show that every kite pseudo effect algebra is an interval in a unital po-loop.
△ Less
Submitted 26 August, 2013;
originally announced August 2013.
-
Kite Pseudo Effect Algebras
Authors:
Anatolij Dvurečenskij
Abstract:
We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected with partially ordered groups not necessarily with strong unit. In such a case, starting even with an Abelian po-group, we can obtain a noncommutative pseudo effect algebra. We show how such kite pseudo effect algebras are tied with different types of the Riesz Decomposition Properties. Kites ar…
▽ More
We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected with partially ordered groups not necessarily with strong unit. In such a case, starting even with an Abelian po-group, we can obtain a noncommutative pseudo effect algebra. We show how such kite pseudo effect algebras are tied with different types of the Riesz Decomposition Properties. Kites are so-called perfect pseudo effect algebras, and we define conditions when kite pseudo effect algebras have the least non-trivial normal ideal.
△ Less
Submitted 3 June, 2013;
originally announced June 2013.
-
State BCK-algebras and State-Morphism BCK-algebras
Authors:
R. A. Borzooei,
A. Dvurečenskij,
O. Zahiri
Abstract:
In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilistic reasoning. We present a relation between state operators and state-morphism operators and measures and states on BCK-algebras, respectively. We study subdirectly irreducible state (morphism) BCK-algebras. We introduc…
▽ More
In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilistic reasoning. We present a relation between state operators and state-morphism operators and measures and states on BCK-algebras, respectively. We study subdirectly irreducible state (morphism) BCK-algebras. We introduce the concept of an adjoint pair in BCK-algebras and show that there is a one-to-one correspondence between adjoint pairs and state-morphism operators. In addition, we show the generators of quasivarieties of state-morphism BCK-algebras.
△ Less
Submitted 25 April, 2013;
originally announced April 2013.
-
$\mathbb H$-perfect Pseudo MV-algebras and Their Representations
Authors:
Anatolij Dvurečenskij
Abstract:
We study $\mathbb H$-perfect pseudo MV-algebras, that is, algebras which can be split into a system of ordered slices indexed by the elements of an subgroup $\mathbb H$ of the group of the real numbers. We show when they can be represented as a lexicographic product of $\mathbb H$ with some $\ell$-group. In addition, we show also a categorical equivalence of this category with the category of…
▽ More
We study $\mathbb H$-perfect pseudo MV-algebras, that is, algebras which can be split into a system of ordered slices indexed by the elements of an subgroup $\mathbb H$ of the group of the real numbers. We show when they can be represented as a lexicographic product of $\mathbb H$ with some $\ell$-group. In addition, we show also a categorical equivalence of this category with the category of $\ell$-groups.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Kites and Pseudo BL-algebras
Authors:
Anatolij Dvurecenskij,
Tomasz Kowalski
Abstract:
We investigate a construction of a pseudo BL-algebra out of an $\ell$-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As another application, we exhibit a new countably infinite family of varieties of pseudo BL-algebras covering the variety of Boolean algebras.
We investigate a construction of a pseudo BL-algebra out of an $\ell$-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As another application, we exhibit a new countably infinite family of varieties of pseudo BL-algebras covering the variety of Boolean algebras.
△ Less
Submitted 9 July, 2012;
originally announced July 2012.
-
Discrete $(n+1)$-valued states and $n$-perfect pseudo-effect algebras
Authors:
Anatolij Dvurecenskij,
Yongjian Xie,
Aili Yang
Abstract:
We give sufficient and necessary conditions to guarantee that a pseudo-effect algebra admits an $(n+1)$-valued discrete state. We introduce $n$-perfect pseudo-effect algebras as algebras which can be split into $n+1$ comparable slices. We prove that the category of strong $n$-perfect pseudo-effect algebras is categorically equivalent to the category of torsion-free directed partially ordered group…
▽ More
We give sufficient and necessary conditions to guarantee that a pseudo-effect algebra admits an $(n+1)$-valued discrete state. We introduce $n$-perfect pseudo-effect algebras as algebras which can be split into $n+1$ comparable slices. We prove that the category of strong $n$-perfect pseudo-effect algebras is categorically equivalent to the category of torsion-free directed partially ordered groups of a special type.
△ Less
Submitted 1 March, 2012;
originally announced March 2012.
-
Atomic Effect Algebras with the Riesz Decomposition Property
Authors:
Anatolij Dvurecenskij,
Yongjian Xie
Abstract:
We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any $σ$-orthocomplete atomic effect algebra with the Riesz Decomposition Property is an MV-effect algebras, and we apply this result for pseudo-effect algebras and for states.
We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any $σ$-orthocomplete atomic effect algebra with the Riesz Decomposition Property is an MV-effect algebras, and we apply this result for pseudo-effect algebras and for states.
△ Less
Submitted 1 March, 2012;
originally announced March 2012.
-
State-Morphism Algebras - General Approach
Authors:
Michal Botur,
Anatolij Dvurecenskij
Abstract:
We present a complete description of subdirectly irreducible state BL-algebras as well as of subdirectly irreducible state-morphism BL-algebras. In addition, we present a general theory of state-morphism algebras, that is, algebras of general type with state-morphism which is an idempotent endomorphism. We define a diagonal state-morphism algebra and we show that every subdirectly irreducible stat…
▽ More
We present a complete description of subdirectly irreducible state BL-algebras as well as of subdirectly irreducible state-morphism BL-algebras. In addition, we present a general theory of state-morphism algebras, that is, algebras of general type with state-morphism which is an idempotent endomorphism. We define a diagonal state-morphism algebra and we show that every subdirectly irreducible state-morphism algebra can be embedded into a diagonal one. We describe generators of varieties of state-morphism algebras, in particular ones of state-morphism BL-algebras, state-morphism MTL-algebras, state-morphism non-associative BL-algebras, and state-morphism pseudo MV-algebras.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
On Normal-Valued Basic Pseudo Hoops
Authors:
Michal Botur,
Anatolij Dvurečenskij,
Tomasz Kowalski
Abstract:
We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for them.
We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for them.
△ Less
Submitted 26 February, 2011;
originally announced February 2011.
-
State morphism MV-algebras
Authors:
A. Dvurecenskij,
T. Kowalski,
F. Montagna
Abstract:
We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators of the variety of SMMV-algebras, and show that we have a continuum of varieties of SMMV-algebras.
We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators of the variety of SMMV-algebras, and show that we have a continuum of varieties of SMMV-algebras.
△ Less
Submitted 5 February, 2011;
originally announced February 2011.
-
Decompositions of Measures on Pseudo Effect Algebras
Authors:
Anatolij Dvurecenskij
Abstract:
Recently in \cite{Dvu3} it was shown that if a pseudo effect algebra satisfies a kind of the Riesz Decomposition Property ((RDP) for short), then its state space is either empty or a nonempty simplex. This will allow us to prove a Yosida-Hewitt type and a Lebesgue type decomposition for measures on pseudo effect algebra with (RDP). The simplex structure of the state space will entail not only the…
▽ More
Recently in \cite{Dvu3} it was shown that if a pseudo effect algebra satisfies a kind of the Riesz Decomposition Property ((RDP) for short), then its state space is either empty or a nonempty simplex. This will allow us to prove a Yosida-Hewitt type and a Lebesgue type decomposition for measures on pseudo effect algebra with (RDP). The simplex structure of the state space will entail not only the existence of such a decomposition but also its uniqueness.
△ Less
Submitted 4 September, 2010;
originally announced September 2010.
-
The Lattice and Simplex Structure of States on Pseudo Effect Algebras
Authors:
Anatolij Dvurecenskij
Abstract:
We study states, measures, and signed measures on pseudo effect algebras with some kind of the Riesz Decomposition Property, (RDP). We show that the set of all Jordan signed measures is always an Abelian Dedekind complete $\ell$-group. Therefore, the state space of the pseudo effect algebra with (RDP) is either empty or a nonempty Choquet simplex or even a Bauer simplex. This will allow represent…
▽ More
We study states, measures, and signed measures on pseudo effect algebras with some kind of the Riesz Decomposition Property, (RDP). We show that the set of all Jordan signed measures is always an Abelian Dedekind complete $\ell$-group. Therefore, the state space of the pseudo effect algebra with (RDP) is either empty or a nonempty Choquet simplex or even a Bauer simplex. This will allow represent states on pseudo effect algebras by standard integrals.
△ Less
Submitted 4 September, 2010;
originally announced September 2010.
-
States on pseudo effect algebras and integrals
Authors:
Anatolij Dvurecenskij
Abstract:
We show that every state on an interval pseudo effect algebra $E$ satisfying some kind of the Riesz Decomposition Properties (RDP) is an integral through a regular Borel probability measure defined on the Borel $σ$-algebra of a Choquet simplex $K$. In particular, if $E$ satisfies the strongest type of (RDP), the representing Borel probability measure can be uniquely chosen to have its support in t…
▽ More
We show that every state on an interval pseudo effect algebra $E$ satisfying some kind of the Riesz Decomposition Properties (RDP) is an integral through a regular Borel probability measure defined on the Borel $σ$-algebra of a Choquet simplex $K$. In particular, if $E$ satisfies the strongest type of (RDP), the representing Borel probability measure can be uniquely chosen to have its support in the set of the extreme points of $K.$
△ Less
Submitted 11 August, 2010;
originally announced August 2010.
-
Stone Duality Type Theorems for MV-algebras with Internal State
Authors:
Antonio Di Nola,
Anatolij Dvurecenskij,
Ada Lettieri
Abstract:
Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras was given. In this paper, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Ha…
▽ More
Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras was given. In this paper, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Hausdorff topological spaces with a fixed idempotent continuous function, and for (ii) the category of weakly divisible $σ$-complete state-morphism MV-algebras and the category of Bauer simplices whose set of extreme points is basically disconnected and with a fixed idempotent continuous function.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Representation of States on Effect-Tribes and Effect Algebras by Integrals
Authors:
Anatolij Dvurečenskij
Abstract:
We describe $σ$-additive states on effect-tribes by integrals. Effect-tribes are monotone $σ$-complete effect algebras of functions where operations are defined by points. Then we show that every state on an effect algebra is an integral through a Borel regular probability measure. Finally, we show that every $σ$-convex combination of extremal states on a monotone $σ$-complete effect algebra is a…
▽ More
We describe $σ$-additive states on effect-tribes by integrals. Effect-tribes are monotone $σ$-complete effect algebras of functions where operations are defined by points. Then we show that every state on an effect algebra is an integral through a Borel regular probability measure. Finally, we show that every $σ$-convex combination of extremal states on a monotone $σ$-complete effect algebra is a Jauch-Piron state.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Loomis--Sikorski Theorem and Stone Duality for Effect Algebras with Internal State
Authors:
D. Buhagiar,
E. Chetcutti,
A. Dvurečenskij
Abstract:
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis--Sikorski Theorem for monotone $σ$-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfy…
▽ More
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis--Sikorski Theorem for monotone $σ$-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfying (RDP) and countable interpolation with an order determining system of states is dual to the category of Bauer simplices $Ω$ such that $\partial_e Ω$ is an F-space.
△ Less
Submitted 2 June, 2010;
originally announced June 2010.
-
Every State on Interval Effect Algebra is Integral
Authors:
Anatolij Dvurečenskij
Abstract:
We show that every state on an interval effect algebra is an integral through some regular Borel probability measure defined on the Borel $σ$-algebra of a compact Hausdorff simplex. This is true for every effect algebra satisfying (RDP) or for every MV-algebra. In addition, we show that each state on an effect subalgebra of an interval effect algebra $E$ can be extended to a state on $E.$ Our met…
▽ More
We show that every state on an interval effect algebra is an integral through some regular Borel probability measure defined on the Borel $σ$-algebra of a compact Hausdorff simplex. This is true for every effect algebra satisfying (RDP) or for every MV-algebra. In addition, we show that each state on an effect subalgebra of an interval effect algebra $E$ can be extended to a state on $E.$ Our method represents also every state on the set of effect operators of a Hilbert space as an integral
△ Less
Submitted 2 May, 2010;
originally announced May 2010.
-
State BL-algebras
Authors:
Lavinia Corina Ciungu,
Anatolij Dvurečenskij,
Marek Hyčko
Abstract:
The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna in \cite{FlMo0} and \cite{FlMo} as an MV-algebra with internal state as a unary operation. Di Nola and Dvurečenskij gave a stronger version of a state MV-algebra in \cite{DiDV1}, \cite{DiDV2}. In the present paper we introduce the notion of a state BL-algebra, or more precisely, a BL-algebra with internal state. We…
▽ More
The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna in \cite{FlMo0} and \cite{FlMo} as an MV-algebra with internal state as a unary operation. Di Nola and Dvurečenskij gave a stronger version of a state MV-algebra in \cite{DiDV1}, \cite{DiDV2}. In the present paper we introduce the notion of a state BL-algebra, or more precisely, a BL-algebra with internal state. We present different types of state BL-algebras, like strong state BL-algebras and state-morphism BL-algebras, and we study some classes of state BL-algebras. In addition, we give a sample of important examples of state BL-algebras and present some open problems.
△ Less
Submitted 22 October, 2009; v1 submitted 19 July, 2009;
originally announced July 2009.
-
Measures, states and de Finetti maps on pseudo-BCK algebras
Authors:
Lavinia Corina Ciungu,
Anatolij Dvurečenskij
Abstract:
In this paper, we extend the notions of states and measures presented in \cite{DvPu} 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 \cite{DvPu} 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 character…
▽ More
In this paper, we extend the notions of states and measures presented in \cite{DvPu} 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 \cite{DvPu} 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 states, and show that the quotient pseudo-BCK algebra over the kernel of a measure can be embedded into the negative cone of an archimedean $\ell$-group. Additionally, we introduce a Borel state and using results by J. Kühr and D. Mundici from \cite{Kumu}, we prove a relationship between de Finetti maps, Bosbach states and Borel states.
△ Less
Submitted 31 August, 2009; v1 submitted 29 May, 2009;
originally announced May 2009.
