FL~:ry Sets and Systoms 25 (1988) 381-387 No~h-Holland

3S1

BULLETBN

1. Editode|

This issue we bring you three more research reports, from Indi~ and China. Also we are particularly pleased to be ab!~. to include a short report of the Fuzzy Sets conference in Guangzhou and Guiyang ta:, ~ . July. Thanks to .M~asrs He and Li for sending it in so promptly. This leaves me wondering where all your reports on the OFSA congress in Tokyo have got to! Perhaps in the next 8ufletin .....

Having read Jim Baldwin's papers on Support Logic Programming (which he assures me is not a slogan) it is interesting to see that FROL has now emerged as a commerciaO product. We include a short report on this language which includes certain features which will be of interest, and perhaps of use, to fuzzy set theorists.

lan Graham November 1987

2. Fuzzy TopoBogy at the 6anaras H|ndu LJniversJCy, Varanas| {India)

For some years now, a small group at the Dept. of Mathematics has been studying various aspects of fuzzy topology, beginning e.g. with the separation, connectedness and compactness properties. An earlier Ph.D. dissertation by Ft. Srivastava will ~oon be foflowed by another dmsertetion by D.M. Aft. Recent papers by members of this group are:

I. On fuzzy proper maps, Math. Vesnik 38 (1986) 337-3a2. 2. A comparison of some FT2-concepts, Fuzzy Sets and Systems 23 (1987) 289-294. 3. On fuzzy connectedness, Fuzzy Sets and Systems (to appear). One of the members of this group (A.K. Sdvastsva) had the privilege of working at the

University of Antwerp, Belgium (courtesy: Bob Lowen and the BeBgian National Science Foundation) in the academic year 1986-1987, mainly on certain questions regarding the category FTS arising from category theoretic consid~retions (FTS being the category of fuzzy topological spaces). Collaborating with Bob Lowen, he found the 'right' Sierpinski objects in the categories FNS end w(TOP) of respectively the fuzzy neighborhood spaces and topologi- cally generated fuzzy topological spaces. This then helped find 'axiomatic' characterizations of FNS and w(TOP). Subsequent examination of the epireflective hulls of these Sierpinski objects led to the identification of the categorically correct To-objects in FTS, FNS, and w(TOP) and the realization that just like TOP, iTS and FNS are also universal categories. In another direction, Bob Lowen and AKS made some progress in studying conn~cterJnsss in ITS in the same way as done in TOP by G. Preuss from a categorical viewpoint° This led to the intrc~duction of two new Preuss type connectedness concepts in ITS. in yet another direction, Bob Lowen, P. Wuyts and AKS have associated a nice fuzzy uniform space with every non-Archimedian

0165-0114/88/$3.50 © 1988, ELu:vier Science Pub~hers B.V. (Nortb-HoUandl