T-norm_fuzzy_logics loading ...