Publications

Ying, M 1996, 'An Open Logic System Admitting Modification Of Inference Rules', Chinese Science Bulletin, vol. 41, no. 13, pp. 1069-1071.
View description>>

NA

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, M 1996, 'When Is The Ideal Completion Of Abstract Basis Algebraic', Theoretical Computer Science, vol. 159, no. 2, pp. 355-356.
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, 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.
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.