Independence of axiom system of basic algebras (Q2519410)

A basic algebra is an algebra \((A;\oplus,\neg, 0)\) of type \((2,1,0)\) satisfying the following axioms: (BA1) \(x\oplus 0= x\), (BA2) \(\neg\neg x= x\), (BA3) \(x\oplus\neg 0= \neg 0= \neg 0\oplus x\), (BA4) \(\neg(\neg x\oplus y)\oplus y= \neg(\neg y\oplus x)\oplus x\), (BA5) \(\neg(\neg(\neg(x\oplus y)\oplus y)\oplus z)\oplus (x\oplus z)= \neg 0\). This concept was first defined in the book [\textit{I. Chajda}, \textit{R. Halaš} and \textit{J. Kühr}, Semilattice structures. Research and Exposition in Mathematics 30. Lemgo: Heldermann Verlag (2007; Zbl 1117.06001)] and generalizes the well-known concept of an MV-algebra (implicitly, such basic algebras were already studied in the paper [\textit{I. Chajda} and \textit{P. Emanovský}, Discuss. Math., Gen. Algebra Appl. 24, No. 1, 31--42 (2004; Zbl 1082.03055)]). In the present paper, it is shown that (BA3) follows already from the other axioms, i.e., an algebra \((A;\oplus,\neg, 0)\) is a basic algebra if and only if it satisfies the axioms (BA1), (BA2), (BA4) and (BA5). Furthermore, it is shown that these remaining axioms are independent, and another system of axioms is given, not containing the axiom (BA2) of double negation.