Translation structures for fuzzy model theory.

The theory of L -institutions is a fully axiomatic and abstract approach to fuzzy / many-valued truth model theory, which is based on category theory. In this paper we develop a series of mathematical structures and results that empower at various levels the logic translation paradigm for L -institutions. Our development parallels the well established logic translation themes in ordinary (binary truth) institution theory. In the process we solve a series of specific technical challenges posed by the nature of many-valued truth. [ABSTRACT FROM AUTHOR]