About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

Stanovský, David
Distributive groupoids are symmetric-by-medial: An elementary proof. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 4, pp. 541-546
MSC: 03B35, 20N02, 68T15 | MR 2493937 | Zbl 1192.20050
Keywords:
distributive groupoids; automated reasoning; Prover9
Summary:
We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.
References:
[1] Ježek J., Kepka T., Němec P.: Distributive groupoids. Rozpravy ČSAV 91 3 (1981). MR 0672563
[2] Ježek J., Kepka T.: Distributive groupoids and symmetry-by-mediality. Algebra Universalis 19 2 (1984), 208-216. DOI 10.1007/BF01190430 | MR 0758318
[3] McCune W.W.: Prover9. available at http://www.cs.unm.edu/ mccune/prover9.
[4] Sutcliffe G., Suttner C.: The State of CASC. AI Communications 19 1 (2006), 35-48. MR 2224297 | Zbl 1112.68464
Partner of
EuDML logo