Residuated logics based on strict triangular norms with an involutive
From Mathfuzzlog
| Authors: |
|
||||
| Title: | Residuated logics based on strict triangular norms with an involutive | ||||
| Journal: | Mathematical Logic Quarterly | ||||
| Volume | 52 | ||||
| Number | 3 | ||||
| Pages: | 269-282 | ||||
| Year: | 2006 | ||||
| Download from the publisher | |||||
Abstract
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.
