View article

With the demand for knowledge-handling systems capable of dealing with and distinguishing between various facets of imprecision ever increasing, a clear and formal characterization of the mathematical models implementing such services is quintessential. In this paper, this task is undertaken simultaneously for the definition of implication within two settings: first, within intuitionistic fuzzy set theory and secondly, within interval-valued fuzzy set theory. By tracing these models back to the underlying lattice that they are defined on, on one hand we keep up with an important tradition of using algebraic structures for developing logical calculi (e.g. residuated lattices and MV algebras), and on the other hand we are able to expose in a clear manner the two models’ formal equivalence. This equivalence, all too often neglected in literature, we exploit to construct operators extending the notions of classical and fuzzy …