Journal Title/Source
Computers and Mathematics with Applications
Publication Date
2005
Volume
49
Page Numbers
1679-1685
Document Type
Journal Article
Department
Mathematics and Computer Science
Abstract
We solve two problems posed by Krapeˇz by finding a basis of seven independent axioms for the variety of rectangular loops. Six of these axioms form a basis for the variety of rectangular quasigroups. The proofs of the lemmas showing that the six axioms are sufficient are based on proofs generated by the automated reasoning program OTTER, while most of the models verifying the independence of the axioms were generated by the finite model builder Mace4.
Recommended Citation
Phillips, J.D., "RECTANGULAR QUASIGROUPS AND RECTANGULAR LOOPS" (2005). Journal Articles. 542.
https://commons.nmu.edu/facwork_journalarticles/542
COinS