Publications

YING, MS 1992, 'A NEW APPROACH FOR FUZZY TOPOLOGY .2.', FUZZY SETS AND SYSTEMS, vol. 47, no. 2, pp. 221-232.
View/Download from: Publisher's site
View description>>

We introduce the concepts of interior, boundary, subspace, connected space, first- and second-countable spaces, and establish some of their properties in fuzzifying topology.

YING, MS 1992, 'ANOTHER VERSION OF THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT OF LATTICE-VALUED MODELS', CHINESE SCIENCE BULLETIN, vol. 37, no. 17, pp. 1491-1492.
View description>>

NA

YING, MS 1992, 'COMPACTNESS, THE LOWENHEIM-SKOLEM PROPERTY AND THE DIRECT-PRODUCT OF LATTICES OF TRUTH VALUES', ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 38, no. 5-6, pp. 521-524.
View/Download from: Publisher's site
View description>>

We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Lowenheim-Skolem property is preserved by finite direct products of lattices of truth values. MSC: 03C07, 03B50.

YING, MS 1992, 'THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKAS LOGIC', ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 38, no. 3, pp. 197-201.
View/Download from: Publisher's site
View description>>

In [This Zeitschrift 25 (1979), 45-52, 119-134, 447-464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we i