Logic and groups

Abelian group logic (AGL) — in other words, the logic which is sound and complete w.r.t. Abelian groups — is a non-trivial inconsistent logic, i.e. what some paraconsistent logicians call a “dialethic” logic.