# The Australasian Journal of Logic

Established July 2003
Managing Editor: Greg Restall
ISSN: 1448-5052

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).

## 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:

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}
%%
%%
\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.

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.

This Agreement, dated _______________ [date], is by and between The Australasian Journal of Logic (the “Journal”) and _____________________________ [all authors’ names], the “Author” In consideration of the following mutual undertakings, it is agreed:

1. The Author has created a work entitled _____________________________ [title of paper] (the “Work”) and owns the copyright to the Work.
2. The Author hereby grants to the Journal a worldwide, perpetual, irrevocable, fully-paid up, royalty-free license to publish the Work in the Journal, its electronic archive, its paper archive, or any collection of the Journal’s works in any form whatsoever.
3. The Author agrees that s/he shall not publish the Work in any other journal or edited collection, whether electronic or otherwise, in substantially the same form as the Work, without acknowledging prior publication in this Journal.
4. The Author warrants that s/he has the full power and authority to enter into this Agreement and to grant the rights granted in this Agreement.
5. The Journal undertakes to publish the Work by placing it on the Journal’s server and maintain copies of the Work in accordance with its Archive Policy.
6. This Agreement shall become effective and binding at the date of formal acceptance of the Work for publication by the Journal.

[Based on the Author's Agreement form of the Electronic Journal of Combinatorics. Used by permission.]

Please email the text of this agreement, together with a sentence, such as ‘I agree with the terms of this agreement’ to the Managing Editor at ajl-editors@unimelb.edu.au.