| Title:
|
Distributive groupoids are symmetric-by-medial: An elementary proof (English) |
| Author:
|
Stanovský, David |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
49 |
| Issue:
|
4 |
| Year:
|
2008 |
| Pages:
|
541-546 |
| . |
| Category:
|
math |
| . |
| Summary:
|
We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial. (English) |
| Keyword:
|
distributive groupoids |
| Keyword:
|
automated reasoning |
| Keyword:
|
Prover9 |
| MSC:
|
03B35 |
| MSC:
|
20N02 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 1192.20050 |
| idMR:
|
MR2493937 |
| . |
| Date available:
|
2009-05-05T17:13:06Z |
| Last updated:
|
2013-09-22 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/119745 |
| . |
| Reference:
|
[1] Ježek J., Kepka T., Němec P.: Distributive groupoids.Rozpravy ČSAV 91 3 (1981). MR 0672563 |
| Reference:
|
[2] Ježek J., Kepka T.: Distributive groupoids and symmetry-by-mediality.Algebra Universalis 19 2 (1984), 208-216. MR 0758318, 10.1007/BF01190430 |
| Reference:
|
[3] McCune W.W.: Prover9.available at http://www.cs.unm.edu/ mccune/prover9. |
| Reference:
|
[4] Sutcliffe G., Suttner C.: The State of CASC.AI Communications 19 1 (2006), 35-48. Zbl 1112.68464, MR 2224297 |
| . |
