 Finally, taking into account that fuzzy logics, unlike classical logic, are typically not functionally complete, one can increase their expressive power by adding new connectives. The most commonly considered connectives are: truth-constants \(\bar r\) for each rational number \(r\in (0,1)\); unary connectives \(\sim\) and \(\triangle\) interpreted as \({\sim}x = 1-x\) and \(\triangle x = 1\) if \(x=1\) and \(0\) otherwise; a binary connective \(\odot\) interpreted as the usual algebraic product, etc. (Baaz 1996; Esteva, Gispert, Godo, &amp; Noguera 2007; Esteva, Godo, &amp; Montagna 2001; Esteva, Godo, Hájek, &amp; Navara 2000).