Abstract: | This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted in Łukasiewicz algebra. The main results concern model theory of fuzzy logic (various kinds of submodels, chains of models) and generalization of the Craig‐Robinson's theorem on joint consistency of fuzzy theories as well as Craig's interpolation theorem. |