A note on minimal axiomatisations of some extensions of MTL

The rotation of the product t-norm provides the tool to show that \u141ukasiewicz logic cannot be axiomatised as an extension of MTL by means of any set of axioms with at most one variable. As a corollary, also BL cannot be axiomatised from MTL by means of single-variable axioms

A note on minimal axiomatisations of some extensions of MTL

The rotation of the product t-norm provides the tool to show that \u141ukasiewicz logic cannot be axiomatised as an extension of MTL by means of any set of axioms with at most one variable. As a corollary, also BL cannot be axiomatised from MTL by means of single-variable axiom