Residuated logics based on strict triangular norms with an involutive
|Title:||Residuated logics based on strict triangular norms with an involutive|
|Journal:||Mathematical Logic Quarterly|
|Download from the publisher|
In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict tnorms and their dual t-conorms. Adding an involutive negation, these equations allow us to generate countably many logics based on strict t-norms which are different from the product logic.