Re: Referencing Mizar articles

[Christoph Schwarzweller <schwarzw@informatik.uni-tuebingen.de>]

In my opinion it is more important to give the
web adress in a reference rather than exact
page numbers. (if an adress for download is given 
in a reference, I actually download the paper 
rather then looking for the journal where it is 
printed). And every Mizar article has an own 
web page with .ps version for downloading!!!

So I would propose somthing like the following
as a Mizar article reference:

Author, Title, (Journal of) Formalized Mathematics,
(vol. number), Year. Available by anomymous ftp
from http://...

Christoph Schwarzweller


Piotr Rudnicki wrote:
> 
> Yatsuka Nakamura wrote:
> 
> > If all universities became virtual(exists only electronically)
> > resarchers will be estimated by only electronic publshments.
> > But now, I believe almost all existing universiteis do not
> > admit electronic ones.  Young reserchers who are working in Mizar
> > projects
> > must get jobs in the old universities or institutes.  In this reason,
> > FM is still important.
> 
> Please note that there are electronic publications which are as serious
> as a publication can get and they are widely recognized, eg.
>         http://cs-www.uchicago.edu/publications/cjtcs/
> 
> Besides, I am not proposing to abandon the paper version altogether.
> I have proposed to make the electronic JFM the primary and the
> archive, which can be printed, secondary.  The important issue is that
> both should be synchronized, and the printable version appears as soon
> as possible and not several years later, as it is now.  Appears
> electronically as a part of JFM, and then anyone willing to print it
> for whatever reason, would be able to do so.
> 
> --
> Piotr Rudnicki