A new axiomatization for involutive monoidal t-norm-based logic