Single axioms for groups and Abelian groups with various operations
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 10 (1) , 1-13
- https://doi.org/10.1007/bf00881862
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Groups as groupoids with one lawPublicationes Mathematicae Debrecen, 2022
- Single axioms for groupsJournal of Automated Reasoning, 1992
- Single axioms for the left group and right group calculi.Notre Dame Journal of Formal Logic, 1992
- Automated discovery of new axiomatizations of the left group and right group calculiJournal of Automated Reasoning, 1992
- Proving equivalence of different axiomatizations of free groupsJournal of Automated Reasoning, 1988
- Yet another single law for groupsIllinois Journal of Mathematics, 1986
- Another single law for groupsBulletin of the Australian Mathematical Society, 1981
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.Published by Elsevier ,1970
- Ein Beitrag zur Axiomatik der Abelschen GruppenFundamenta Mathematicae, 1938