Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
This article continues the theoretical study of weighted structures in mathematical fuzzy logic focusing on the finite model theory of fuzzy logics valued on arbitrary finite <inline-formula><tex-math notation="LaTeX">\mathrm{MTL}</tex-math></inline-formula>-chains. We show that for any first-order (or infinitary with finitely many variables) formula <inline-formula><tex-math notation="LaTeX">\varphi</tex-math></inline-formula>, there is a truth-value that <inline-formula><tex-math notation="LaTeX">\varphi</tex-math></inline-formula> takes almost surely in every finite many-valued model and such that every other truth-value is almost surely not taken. This generalizes a theorem in the fuzzy setting due to Robert Kosik and Christian G. Fermüller.