Directoids with sectionally antitone involutions and skew MV-algebras
Mathematica Bohemica, Tome 132 (2007) no. 4, pp. 407-422

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
It is well-known that every MV-algebra is a distributive lattice with respect to the induced order. Replacing this lattice by the so-called directoid (introduced by J. Ježek and R. Quackenbush) we obtain a weaker structure, the so-called skew MV-algebra. The paper is devoted to the axiomatization of skew MV-algebras, their properties and a description of the induced implication algebras.
It is well-known that every MV-algebra is a distributive lattice with respect to the induced order. Replacing this lattice by the so-called directoid (introduced by J. Ježek and R. Quackenbush) we obtain a weaker structure, the so-called skew MV-algebra. The paper is devoted to the axiomatization of skew MV-algebras, their properties and a description of the induced implication algebras.
DOI : 10.21136/MB.2007.133967
Classification : 03G25, 06A12, 06D35, 08A05
Keywords: directoid; antitone involution; sectionally switching mapping; MV-algebra; NMV-algebra; WMV-algebra; skew MV-algebra; implication algebra
Chajda, I.; Kolařík, M. Directoids with sectionally antitone involutions and skew MV-algebras. Mathematica Bohemica, Tome 132 (2007) no. 4, pp. 407-422. doi: 10.21136/MB.2007.133967
@article{10_21136_MB_2007_133967,
     author = {Chajda, I. and Kola\v{r}{\'\i}k, M.},
     title = {Directoids with sectionally antitone involutions and skew {MV-algebras}},
     journal = {Mathematica Bohemica},
     pages = {407--422},
     year = {2007},
     volume = {132},
     number = {4},
     doi = {10.21136/MB.2007.133967},
     mrnumber = {2365324},
     zbl = {1174.06314},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133967/}
}
TY  - JOUR
AU  - Chajda, I.
AU  - Kolařík, M.
TI  - Directoids with sectionally antitone involutions and skew MV-algebras
JO  - Mathematica Bohemica
PY  - 2007
SP  - 407
EP  - 422
VL  - 132
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133967/
DO  - 10.21136/MB.2007.133967
LA  - en
ID  - 10_21136_MB_2007_133967
ER  - 
%0 Journal Article
%A Chajda, I.
%A Kolařík, M.
%T Directoids with sectionally antitone involutions and skew MV-algebras
%J Mathematica Bohemica
%D 2007
%P 407-422
%V 132
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133967/
%R 10.21136/MB.2007.133967
%G en
%F 10_21136_MB_2007_133967

[1] Abbott J. C.: Semi-boolean algebra. Matem. Vestnik 4 (1967), 177–198. | MR | Zbl

[2] Chajda I., Eigenthaler G., Länger H.: Congruence Classes in Universal Algebra. Heldermann, Lemgo (Germany), 2003. | MR

[3] Chajda I., Halaš R., Kühr J.: Distributive lattices with sectionally antitone involutions. Acta Sci. Math. (Szeged) 71 (2005), 19–33. | MR

[4] Chajda I., Halaš R., Kühr J.: Implication in MV-algebras. Algebra Universalis 52 (2004), 377–382. | DOI | MR

[5] Chajda I., Kühr J.: A non-associative generalization of MV-algebras. (to appear). | MR

[6] Chang C. C.: Algebraic analyses of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 467–490. | DOI | MR

[7] Cignoli R. L. O., D’Ottaviano I. M. L., Mundici D.: Algebraic Foundations of Many- Valued Reasoning. Kluwer Acad. Publ., Dordrecht, 2000. | MR

[8] Georgescu G., Iorgelescu A.: Pseudo MV-algebras. Multiple Valued Log. 6 (2001), 95–135. | MR

[9] Halaš R., Plojhar L.: Implication reducts of weak MV-algebras. Contributions to General Algebra 18, Verlag Heyn, 2007, to appear. | MR

[10] Halaš R., Plojhar L.: Weak MV-algebras. (to appear). | MR

[11] Ježek J., Quackenbush R.: Directoids: algebraic models of up-directed sets. Algebra Universalis 27 (1990), 49–69. | DOI | MR

[12] Rachůnek J.: A non-commutative generalization of MV-algebras. Czech. Math. J. 52 (2002), 255–273. | DOI | MR | Zbl

Cité par Sources :