A New Axiomization of the Variety of Trimedial Quasigroups

Abstract

We present a new axiomization of trimedial quasigroups. We formulate this axiomization with the assistance of the automated deduction system, OTTER, and present our results in a proof translated from OTTER's results.