An Electronic Journal on Pure and Applied Logic
General Description
The Journal is the official publication of the International
Interest Group in Pure and Applied Logics (IGPL), which is sponsored by The
European Foundation for Logic, Language and Information (FoLLI), and currently
has a membership of over 800 researchers in various aspects of logic (symbolic,
computational, mathematical, philosophical, etc.) from all over the world.
The Journal is published in hardcopy and in electronic form
several times per year by Oxford University Press.
Publication is fully electronic: submission,
refereeing, revising, typesetting, checking proofs, and publishing, all is done
via electronic mailing and electronic publishing.
Papers are invited in all areas of pure and applied logic, including: pure
logical systems, proof theory, model theory, recursion theory, type theory,
nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning,
logic and AI, foundations of logic programming, logic and computation,
logic and language, and logic engineering.
The Journal is an attempt to solve a problem in the logic (in particular,
IGPL) community:
- Long delays and large backlogs in publication of papers in current
journals.
- Very tight time and page number limits on submission.
Papers in the final form should be in LaTeX. The review process is quick,
and is made by other IGPL members.
Hyper LaTeX
From vol 3, no. 1, the issues are compiled with HyperTeX.
That means the .dvi files are hypertext documents with internal and
external links. In order to make use of the hypertext structure,
one needs a special previewer for .dvi files.
Such a previewer, called xhdvi is publicly available, but we provide a
slightly improved version which runs on Unix SunOS and Solaris systems.
A gzipped tar file xhdvi.tar.gz with all the necessary files and documentation
for installing it at your site is avaiable.