Distributive groupoids are symmetric-by-medial: An elementary proof
Commentationes Mathematicae Universitatis Carolinae (2008)
- Volume: 49, Issue: 4, page 541-546
- ISSN: 0010-2628
Access Full Article
top
Abstract
topHow to cite
topStanovský, David. "Distributive groupoids are symmetric-by-medial: An elementary proof." Commentationes Mathematicae Universitatis Carolinae 49.4 (2008): 541-546. <http://eudml.org/doc/250482>.
@article{Stanovský2008,
abstract = {We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.},
author = {Stanovský, David},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {distributive groupoids; automated reasoning; Prover9; distributive groupoids; symmetric-by-medial groupoids; automatic reasoning; automatic theorem proving},
language = {eng},
number = {4},
pages = {541-546},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Distributive groupoids are symmetric-by-medial: An elementary proof},
url = {http://eudml.org/doc/250482},
volume = {49},
year = {2008},
}
TY - JOUR
AU - Stanovský, David
TI - Distributive groupoids are symmetric-by-medial: An elementary proof
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2008
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 49
IS - 4
SP - 541
EP - 546
AB - We present an elementary proof (purely in equational logic) that distributive groupoids are symmetric-by-medial.
LA - eng
KW - distributive groupoids; automated reasoning; Prover9; distributive groupoids; symmetric-by-medial groupoids; automatic reasoning; automatic theorem proving
UR - http://eudml.org/doc/250482
ER -
References
top- Ježek J., Kepka T., Němec P., Distributive groupoids, Rozpravy ČSAV 91 3 (1981). (1981) MR0672563
- Ježek J., Kepka T., 10.1007/BF01190430, Algebra Universalis 19 2 (1984), 208-216. (1984) MR0758318DOI10.1007/BF01190430
- McCune W.W., Prover9, available at http://www.cs.unm.edu/ mccune/prover9.
- Sutcliffe G., Suttner C., The State of CASC, AI Communications 19 1 (2006), 35-48. (2006) Zbl1112.68464MR2224297
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.