1997, Vol. IV, Núm. 1
http://hdl.handle.net/2099/2063
"MV-algebras (part II)"Fri, 30 Sep 2016 22:03:22 GMT2016-09-30T22:03:22ZEditorial [Special issue: Second issue devoted to MV-algebras]
http://hdl.handle.net/2099/3675
Editorial [Special issue: Second issue devoted to MV-algebras]
Sessa, Salvatore
Mon, 15 Oct 2007 10:59:47 GMThttp://hdl.handle.net/2099/36752007-10-15T10:59:47ZSessa, SalvatoreOrthogonal decompositions of MV-spaces
http://hdl.handle.net/2099/3486
Orthogonal decompositions of MV-spaces
Belluce, L.P.; Sessa, Salvatore
A maximal disjoint subset $S$ of an $MV$-algebra $A$ is a basis iff $\{x \in A : x \leq a \}$ is a linearly ordered subset of $A$ for all $a \in S$. Let $\Spec A$ be the set of the prime ideals of $A$ with the usual spectral topology. A decomposition $\Spec A = \cup_{i \in I} T_{i} \cup X$
is said to be orthogonal iff each $T_{i}$ is compact open and $S = \{a_{i}\}_{i\in I}$ is a maximal disjoint subset. We prove that this decomposition is unrefinable (i.e. no $T_{i} = \Theta \cap Y$ with $\Theta$ open, $\Theta \cap Y = \emptyset$, int $Y = \emptyset$) iff $S$ is a basis. Many results are established for semisimple $MV$-algebras, which are the algebraic counterpart of Bold fuzzy set theory.
Fri, 14 Sep 2007 10:52:32 GMThttp://hdl.handle.net/2099/34862007-09-14T10:52:32ZBelluce, L.P.Sessa, SalvatoreA maximal disjoint subset $S$ of an $MV$-algebra $A$ is a basis iff $\{x \in A : x \leq a \}$ is a linearly ordered subset of $A$ for all $a \in S$. Let $\Spec A$ be the set of the prime ideals of $A$ with the usual spectral topology. A decomposition $\Spec A = \cup_{i \in I} T_{i} \cup X$
is said to be orthogonal iff each $T_{i}$ is compact open and $S = \{a_{i}\}_{i\in I}$ is a maximal disjoint subset. We prove that this decomposition is unrefinable (i.e. no $T_{i} = \Theta \cap Y$ with $\Theta$ open, $\Theta \cap Y = \emptyset$, int $Y = \emptyset$) iff $S$ is a basis. Many results are established for semisimple $MV$-algebras, which are the algebraic counterpart of Bold fuzzy set theory.Axiomatizing quantum MV-algebras
http://hdl.handle.net/2099/3485
Axiomatizing quantum MV-algebras
Giuntini, Roberto
We introduce the notion of {\it p-ideal\/} of a QMV-algebra and we prove that the class of all $p$-ideals of a QMV-algebra $\C M$ is in one-to-one correspondence with the class of all congruence relations of $\C M$.
Fri, 14 Sep 2007 10:43:02 GMThttp://hdl.handle.net/2099/34852007-09-14T10:43:02ZGiuntini, RobertoWe introduce the notion of {\it p-ideal\/} of a QMV-algebra and we prove that the class of all $p$-ideals of a QMV-algebra $\C M$ is in one-to-one correspondence with the class of all congruence relations of $\C M$.Convergence in MV-algebras
http://hdl.handle.net/2099/3484
Convergence in MV-algebras
Georgescu, George; Liguori, Fortuna; Martini, Giulia
$MV$-algebras were introduced in 1958 by Chang and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered $MV$-algebras
and the category of linearly ordered abelian $\ell$-groups.
Mundici extended this result showing a categorical equivalence between the category of the $MV$-algebras and the category of the abelian $\ell$-groups with strong unit.
In this paper, starting from some definitions and results in abelian
$\ell$-groups, we shall study the convergent sequences and the Cauchy sequences in an $MV$-algebra.
The main result is the construction of the Cauchy completion $A^{*}$ of an $MV$-algebra $A$.
It is proved that a complete $MV$-algebra is also Cauchy complete.
Additional results on atomic and complete $MV$-algebras are also given.
Fri, 14 Sep 2007 10:28:10 GMThttp://hdl.handle.net/2099/34842007-09-14T10:28:10ZGeorgescu, GeorgeLiguori, FortunaMartini, Giulia$MV$-algebras were introduced in 1958 by Chang and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered $MV$-algebras
and the category of linearly ordered abelian $\ell$-groups.
Mundici extended this result showing a categorical equivalence between the category of the $MV$-algebras and the category of the abelian $\ell$-groups with strong unit.
In this paper, starting from some definitions and results in abelian
$\ell$-groups, we shall study the convergent sequences and the Cauchy sequences in an $MV$-algebra.
The main result is the construction of the Cauchy completion $A^{*}$ of an $MV$-algebra $A$.
It is proved that a complete $MV$-algebra is also Cauchy complete.
Additional results on atomic and complete $MV$-algebras are also given.Maximal MV-algebras
http://hdl.handle.net/2099/3483
Maximal MV-algebras
Filipoiu, Alexandru; Georgescu, George; Lettieri, Ada
In this paper we define maximal $MV$-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal $MV$-algebra is semilocal, then we characterize a maximal
$MV$-algebras as finite direct product of local maximal $MV$-algebras.
Fri, 14 Sep 2007 09:49:43 GMThttp://hdl.handle.net/2099/34832007-09-14T09:49:43ZFilipoiu, AlexandruGeorgescu, GeorgeLettieri, AdaIn this paper we define maximal $MV$-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal $MV$-algebra is semilocal, then we characterize a maximal
$MV$-algebras as finite direct product of local maximal $MV$-algebras.Representation of a Boolean algebra by its triangular norms
http://hdl.handle.net/2099/3482
Representation of a Boolean algebra by its triangular norms
Ray, Suryansu
Given a complete and atomic Boolean algebra $B$, there exists a family $\tau_{\gamma}$ of triangular norms on $B$ such that, under the partial ordering of triangular norms, $\tau_{\gamma}$ is a Boolean algebra isomorphic to $B$, where $\gamma$ is the set of all atoms in $B$.
In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms.
What we have not shown in this paper is our belief that $\tau_{\gamma}$ is not unique for $B$ and that, for such a representation, $B$ needs neither to be complete, nor to be atomic.
Fri, 14 Sep 2007 09:22:32 GMThttp://hdl.handle.net/2099/34822007-09-14T09:22:32ZRay, SuryansuGiven a complete and atomic Boolean algebra $B$, there exists a family $\tau_{\gamma}$ of triangular norms on $B$ such that, under the partial ordering of triangular norms, $\tau_{\gamma}$ is a Boolean algebra isomorphic to $B$, where $\gamma$ is the set of all atoms in $B$.
In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms.
What we have not shown in this paper is our belief that $\tau_{\gamma}$ is not unique for $B$ and that, for such a representation, $B$ needs neither to be complete, nor to be atomic.