Geodesic
Distributive groupoids are symmetric-by-medial: An elementary proof
Commentationes Mathematicae Universitatis Carolinae, Tome 49 (2008) no. 4, pp. 541-546

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

We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.
Classification : 03B35, 20N02, 68T15
Keywords: distributive groupoids; automated reasoning; Prover9 
@article{CMUC_2008__49_4_a2,
     author = {Stanovsk\'y, David},
     title = {Distributive groupoids are symmetric-by-medial: {An} elementary proof},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {541--546},
     publisher = {mathdoc},
     volume = {49},
     number = {4},
     year = {2008},
     mrnumber = {2493937},
     zbl = {1192.20050},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2008__49_4_a2/}
}
TY  - JOUR
AU  - Stanovský, David
TI  - Distributive groupoids are symmetric-by-medial: An elementary proof
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2008
SP  - 541
EP  - 546
VL  - 49
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2008__49_4_a2/
LA  - en
ID  - CMUC_2008__49_4_a2
ER  - 
%0 Journal Article
%A Stanovský, David
%T Distributive groupoids are symmetric-by-medial: An elementary proof
%J Commentationes Mathematicae Universitatis Carolinae
%D 2008
%P 541-546
%V 49
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2008__49_4_a2/
%G en
%F CMUC_2008__49_4_a2
Stanovský, David. Distributive groupoids are symmetric-by-medial: An elementary proof. Commentationes Mathematicae Universitatis Carolinae, Tome 49 (2008) no. 4, pp. 541-546. http://geodesic.mathdoc.fr/item/CMUC_2008__49_4_a2/