We shall prove that: (i) every cartesian \sqrt{\mathit'} quasi-MV algebra is embeddable into an interval in a particular Abelian ℓ-group with operators; (ii) ...
for short). In this paper we extend the result of [7] providing a categorical equiva- lence between square root quasi MV-algebras and a category of preordered.
We shall prove that: (i) every cartesian ' quasi-MV algebra is embeddable into an interval in a particular Abelian ℓ-group with operators; (ii) the category of ...
Missing: sqrt | Show results with:sqrt
May 17, 2010 · In this paper we investigate a categorical equivalence between square root qMV -algebras (a variety of algebras arising from quantum computation) ...
Roberto Giuntini , Francesco Paoli, Antonio Ledda : Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20(4): 795-810 (2010).
In this paper we investigate a categorical equivalence between square root qMV -algebras (a variety of algebras arising from quantum computation) and a ...
Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20(4) ... On some properties of quasi MV algebras and square root quasi MV algebras.
In this article, we shall focus on a different relation which partially orders cartesian quasi-MV algebras. We shall prove that: (i) every cartesian quasi-MV ...
In this paper we investigate a categorical equivalence between square root qMV-algehras (a variety of algebras arising from quantum computation) and a ...
Oct 7, 2024 · Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20(4): 795-810 (2010). [j19]. view. electronic edition via DOI ...