On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics
It is well known that, in forward inference in fuzzy logic, the generalized modus ponens is guaranteed by a functional inequality called the law of -conditionality. In this paper, the -conditionality for -power based implications is deeply studied and the concise necessary and sufficient conditions for a power based implication being -conditional are obtained. Moreover, the sufficient conditions under which a power based implication is -conditional are discussed, this discussions give an...
Several open problems posed during FSTA 2006 (Liptovský Ján, Slovakia) are presented. These problems concern the classification of strict triangular norms, Lipschitz t-norms, interval semigroups, copulas, semicopulas and quasi- copulas, fuzzy implications, means, fuzzy relations, MV-algebras and effect algebras.