We discuss the algebraic properties of intuitionistic fuzzy implications. We examine the conjugacy problem in this family of functions. The characterizations of intuitionistic fuz...
This paper deals with interval-valued fuzzy sets and I-fuzzy sets, Atanassov's intuitionistic fuzzy sets. They are treated in a systematic way as two, formally equivalent, na...
In this paper the Archimedean property and the nilpotency of t-norms on the lattice LI is investigated, where LI is the underlying lattice of interval-valued fuzzy set theory (Sam...
In this paper, we attempt a systematic study of QL-implications. Towards this end, firstly, we investigate the conditions under which a QL-operation becomes a fuzzy implication w...
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...