A representation theorem for fuzzy subsystems of a fuzzy partial algebra

Abstract

In this paper, for any f-partial algebra of a given type, we construct a partial algebra of the same type in such a way that there is a meet complete isomorphism between ω-f-subsystems of a given type — the subsystem here meaning one of weak-relative-algebra, strong-relative-algebra and subalgebra, and certain ω-subsystems of the same type of the latter.