[mizar] Refernces to JFM

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

I believe it is a rare case that pen&paper mathematicians refer to a 
formalized stuuf (matbe Otter is an exception). So, it is worth to 
report if it happens.

In Digitized Periodical (Wanfang Data) I found some references to Marian 
Przemski's paper (DECOMP_1, On the Decomposition of Continuity, JFM, 
2002,(6),pp.1-5. In

1. 'On Operator Homeomorphism Mapping' by LOU Mei-yun, in J. of Jiamusi 
Univ. 2006
2. 'Three new spaces on operator open set theory' by Lou Mei-yun, in 
Science and Technology of West China, 2006
3. 'On Operator continuous mapping' by Chen Ying-wei & Qian You-hua in 
J. of Nanchang Univ., 2005
4. 'Generalization of C.T.Yang's theorem in operator open set theory' by 
 ?? (Chinese characters) in J. of Zhejiang Univ. of Science and 
Technology, 2004
5. 'On operator compact spaces' by ??, in J. of Zhejiang Normal Univ. 2003

Funny enough in the last paper the reference is to Marian P. (the first 
name in Chinese in on the second position, so they suppose that Marian 
is the surname of Marian Przemski).

I have found also a reference to  FUZZY_2 (Basic Properties of Fuzzy Set 
Operation and Membership Function
       by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama
  JFM, 2000, (12))

in

'Application of Fuzzy Operation to Calculate of the Weight of Water in 
Damaged Main Cabin of Submarine' in Computer Engineering and 
Applications, 2003

Regards,
Andrzej