Publications

Ying, M 1996, 'Initial and terminal semantics for glued theories in institutions', Ruan Jian Xue Bao Journal of Software, vol. 7, no. 6, pp. 360-363.
View description>>

In this paper, the correspondence among initial (terminal) semantics of glued theories and factor theories in institutions is clarified under certain intuitive conditions.

Ying, MS 1996, 'An open logic system admitting modification of inference rules', CHINESE SCIENCE BULLETIN, vol. 41, no. 13, pp. 1069-1071.
View description>>

NA

Ying, MS 1996, 'When is the ideal completion of abstract basis algebraic', THEORETICAL COMPUTER SCIENCE, vol. 159, no. 2, pp. 355-356.
View/Download from: Publisher's site
View description>>

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, MS & BouchonMeunier, B 1970, 'Quantifiers, modifiers and qualifiers in fuzzy logic', SOFT COMPUTING IN INTELLIGENT SYSTEMS AND INFORMATION PROCESSING, IEEE, Kenting, Taiwan, pp. 490-495.
View description>>

In this paper, we propose a formalization of fuzzy logic and obtain some interesting results on fuzzy quantifiers, modifiers and qualifiers in this setting.