Asymptotic comparison of the implicative fragments of certain fuzzy logics

An asymptotic similarity of some fragments of two fuzzy logics is proved. We focus on two 3-valued fuzzy logics: the Gödel-Dummett one and the Łukasiewicz one and we consider their purely implicative fragments of two variables. This paper shows the existence of the densities of truth of these logics and determines their values. For this purpose we build the appropriate Tarski-Lindenbaum algebra and use extensively generating functions. Our method can be generalized to n-valued logics, n > 3, but all computations will be extremely complicated.