In this paper, the correspondence among initial (terminal) semantics of glued theories and factor theories in institutions is clarified under certain intuitive conditions.
The concepts of abstract basis and its ideal completion play an important role in domain theory because the category of bases (and approximable relations) is equivalent to the category of continuous domains (and continuous mappings) (cf. [1, Theorem 2.2.
Ying, M & Bouchon-Meunier, B 1996, 'Quantifiers, modifiers and qualifiers in fuzzy logic', Soft Computing In Intelligent Systems And Information Processing, IEEE, Kenting, Taiwan, pp. 490-495.
In this paper, we propose a formalization of fuzzy logic and obtain some interesting results on fuzzy quantifiers, modifiers and qualifiers in this setting.