Re: Referencing Mizar articles

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Hi:

I am glad that Christoph raised the FM vs JFM issue as I have been
planning to post something about it for quite some time now.

The only argument in favour of continuing FM is public relations.
FM does not serve any other purpose.  I am wondering who actually
ever used FM and for what reason.  I am using FM as follows:

	- to impress people that there is something typeset that 
	  had its source in a Mizar text,  (People are impressed 
	  and that is it.)

	- to convince my boss that I am doing something which 
	  makes it to paper (that the stuff is not read when it
	  appears on paper does not seem to be a concern of the 
	  involved parties).  

The real journal is the evolving JFM and I am in favour of going 
entirely electronic with references to web pages.  FM in its current
shape, with different volume numbers and years than JFM and currently
delayed for a couple of years should be dropped.

Within each volume of JFM, Mizar articles in postscript version can be
typeset as one book with continuous paging.  Then if someone wants
to print it on paper, they can do it, otherwise it exists only
electronically.  This book is 'published' once a volume of JFM is closed
and the book does not evolve.

There is now this issue: where to anchor the electronic JFM such that people
believe that it does not disappear all of a sudden?


Piotr Rudnicki