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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have