The AJL is a peer reviewed, free access, electronic journal covering all aspects of logic. We actively solicit submissions from researchers in pure and applied logic from around the world. To keep our production costs down, all of the work of the journal is conducted by email and remote file transfers. At no stage are documents transmitted in hardcopy (though editors and referees may well print them out to read them).

Please read these instructions before you submit anything to the journal.

Submission

The blind refereeing process requires that the editor send the referees an anonymous manuscript. We use PDF (Portable Document Format) files in the refereeing process. To submit an article for publication to the journal, therefore, we must receive an electronic copy of your manuscript.

The formats we accept for initial submission are as follows (in order of preference)

1. A PDF file
2. A postscript file (containing all of the fonts your document uses)
3. A DVI file (provided that you use only standard TeX and LaTeX fonts)
4. A LaTeX file (including the associated bibliography and all other files required to process it)

We do not have the resources to deal with submissions in other formats, and we reserve the right to reject a submission on the grounds that our facilities are unable to read your document. If you have difficulty in providing a pdf or postscript file, please consult your local systems administrator, or in a last resort ask us.

Please ensure that your document is thoroughly anonymous, so that the refereeing process can be truly blind. (In particular, check the ‘Document Properties’ of any PDF file you produce. These may reveal the name of the author.)

We have two preferred means of receiving your manuscript:

1. an email to ajl-editors@unimelb.edu.au containing a URL at which your manuscript may be downloaded, or
2. an email to ajl-editors@unimelb.edu.au containing your document as an attachment.

The author who submits the paper to the journal will be treated as the corresponding author of the manuscript, and, in the case of a multiply authored article, this author will be responsible for communicating with the other authors.

Document Preparation

To keep the journal freely available, we do ask that authors carry some of the burden of the production of the publication version of their manuscript. In particular, we ask that the final submission of accepted manuscripts be as close as possible to our house style. Authors are supporting the work of the journal by providing the final submission in the following form:

• A self-contained LaTeX2e source file of the article class;
• Including all bibliography items inside the main document;
• With all macro definitions before the \begin{document} command;
• Using no packages outside the standard LaTeX set, or sent with the packages required to typest the document;
• Using only the standard LaTeX selection of fonts (or with freely available extra fonts, and only if these are absolutely necessary);
• Using only logical markup. Do not “hand-code” lists: use the LaTeX facility for creating them. Do not add pagebreaks or linebreaks to fit your pages. When we reformat the paper, this will change the pagination and we will need to undo all of your work.

Here is an example file of the form we like to receive:

\documentclass[11pt]{article} 
\usepackage{theorem}
%%
%% Author Definitions
%%
\def\imp{\to}
%%
%%
\theoremheaderfont{\scshape}
\theoremstyle{plain}
\newtheorem{thm}{Theorem} 
\newtheorem{lem}[thm]{Lemma}
\theorembodyfont{\rmfamily}
\newtheorem{defn}{Definition}
%%
%%
\begin{document}
\title{My First Paper}
\author{Alfred Tarski\\
Department of Logic\\
University of Warsaw\thanks{%
Thanks to all the people who helped me with this paper.}}
\date{July 1, 2003} 
\maketitle
%%
%%
\begin{quote}
\textsc{Abstract}: This is the abstract of the paper~\cite{tars:logi56}.
\end{quote}
This is the introduction of the paper.
%%
%%
\section{Propositional Splodges}
Here is the first section, where I prove some interesting things, 
and write a symbol $p$ or two $p\imp q$.  But first, a definition.
\begin{defn}
A \textsc{splodge} is a \ldots
\end{defn} 
%%
%%
\section{Predicate Splodges}
Here is the next section.  It is also the conclusion.
%%
%%
\bibliographystyle{plain}
%%
\begin{thebibliography}{1}
%%
\bibitem{tars:logi56}
Alfred Tarski.
\newblock {\em Logic, Semantics, Metamathematics: papers from 1923 to 1938}.
\newblock Clarendon Press, Oxford, 1956.
\newblock Translated by J. H. Woodger.
%%
\end{thebibliography}
%%
%%
\end{document}

If you have any questions about the kind of file most helpful to the production team, please ajl-editors@unimelb.edu.au.

Copyright

The copyright of all articles published by the journal remains with the author. We do ask, however, that authors sign a consent to publish form, which is the author’s guarantee that the paper is original, that the journal has the right to publish it electronically, and that the journal will be acknowledged in any republication of the paper.

Copyright © 2003, Philosophy Department, University of Melbourne.
Individual papers are copyright their authors.