SIEGFRIED GOTTWALD, ÀNGEL GARCÍA-CERDAÑA, FÉLIX BOU

The propositional monoidal logic ML of U. HÖHLE, determined through an algebraic semantics given by the class of all residuated lattices, was (claimed to be) reaxiomatized in the recent monograph [5]. We show that this reaxiomatization is defective and prove the independence of one of U. HÖHLE’s original axioms from the axioms in [5]. Additionally the axiomatization in [5] is completed.