Wajsberg algebras