期刊名称:LOGIC JOURNAL OF THE IGPL
期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Logic Journal of the IGPL publishes papers 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 published in both hard copy and in electronic form. Contact OUP for futher details of electronic subscription. |
Instructions to Authors Authors wanting to submit papers for the Journal are very much encouraged to prepare their article in LaTeX. (If you definitely can't use LaTeX, please contact one of the editors.)
In order to prepare your manuscript for printing, please follow our guidelines:
- Get the lj-igpl.sty style file and place it into the directory with your other style files.
- The filename of your LaTeX file should be name.tex where name is the surname of the main author (in lower case letters). Put all extra files you need into a directory name. Make sure that all the input commands in the LaTeX file refer to this directory.
- Use the following preamble for your LaTeX file.
documentclass[twoside]{report}
usepackage{your packages, lj-igpl}
Title{Title}
ShortAuthor{author1 and author2 and ...}
LongAuthor{
author{author1}
address{address1}
author2{author2}
address{address2}
...
}
Received{submission date}
Your macro definitions
egin{document}
egin{paper}
egin{abstract}
your abstract
end{abstract}
Keywords{keywords}
section{Section Header}
your paper
ibliographystyle{plain}
egin{thebibliography}{100}
Contents of your .bbl file
end{bibliography
end{paper}
end{document}
- The title should be in the `capital letter' style, i.e. nouns and other major words begin with capital letters. The rest is in lower case letters.
- The short author names should be with initials only.
- The long author names should be with first names, all in capital letters.
- There should be no line breaks in the addresses. Terminate the address with your email address.
Example: documentclass[twoside]{report}
usepackage{amssymb, lj-igpl}
Title{Axiomatising Various Classes of Relation and Cylindric Algebras}
ShortAuthor{R. Hirsch and I. Hodkinson}
LongAuthor{
author{ROBIN HIRSCH}
address{Department of Computer Science, University College London,
Gower Street, London WC1, UK. E-mail:~R.Hirsch@cs.ucl.ac.uk}
author{IAN HODKINSON}
address{Department of Computing, Imperial College of Science, Technology and
Medicine, 180 Queen's Gate,
London SW7 2BZ, UK. E-mail:~imh@doc.ic.ac.uk}
}
Received{12 October 1995.}
egin{document}
egin{paper}
egin{abstract}
...
end{abstract}
Keywords{logic,cylindric algebras}
section{Introduction}
...
end{paper}
end{document}
- Do not redefine any of the predefined environments, such as theorem, lemma etc. Use the standard layout! Do not do your own fancy layout manipulations!
- Do the following checks before you deliver the paper:
- Check all over-full hboxes. If they really stick out of the text, you must do something!
- Check the running headers. If section headers are too long, use
section[short header]{your long header}.
- Check the location of floating figures.
- Send us the LaTeX source file or a tar file if it consists of several different files.
- Processing your manuscript in the publishing house will be easier and less error prone if you obey a few rules:
- Use as few extra files as possible, i.e. include as many of your extra files into the main file as possible.
- Use as few extra packages as possible. If you use a non-standard package, submit it together with your LaTeX source file.
- We recommend a few packages which can very much improve the presentation quality of your paper:
- amssymb to get the AMS-TeX symbols.
- pstricks, pst-node and pst-beta to draw high quality graphics. (Use as few postscript graphics as possible!)
If you don't have the pstricks packages you get a gzipped tar file by clicking here (881KB). A small example for the application of pstricks: LaTeX source file, result as PostScript file.
- Use a spell checker.
Editorial Board
Editor-in-Chief
Executive Editors
Editorial Board:
-
-
-
-
-
-
Ewa Orlowska, Warsaw, Poland
-
Amir Pnueli, Weizmann Institute, Israel
-
-
Saharon Shelah, Jerusalem
-
Johan van Benthem, ILLC, Amsterdam
Administrators: Jane Spurr King's College, London
|