A new axiomatization for involutive monoidal t-norm-based logic (Q1349201)

The paper gives an alternative axiomatization for the monoidal t-norm-based residuated logic originally introduced by \textit{F. Esteva} and \textit{L. Godo} [Fuzzy Sets Syst. 124, 271-288 (2001; Zbl 0994.03017)]. The presented approach stresses the geometric understanding of Girard monoids, especially the rotation invariance \(T(x,y)\leq z\) iff \(T(y,N(z))\leq N(x)\), where \(T\) is a left-continuous triangular norm and \(N\) is a strong negation. The rotation invariance is transformed into axiom schemata for logical calculi, and then serves as a substitute for the standard adjointness condition linking conjunction and implication connectives in t-norm-based residuated logics. The proposed new (and equivalent) axiomatization may give new interesting results in the recently introduced residuated fuzzy logic based on left-continuous t-norms.