The Journal invites submission of original scholarly work in mathematical logic and its applications. The Journal primarily publishes papers of up to 30 pages in length, but longer papers will be considered.
Manuscripts are accepted for review with the understanding that the same work has not been and will not be published elsewhere, nor is presently submitted elsewhere, and that all persons listed as authors have given their approval for the submission of the paper. Authors also are advised to consult the Association for Symbolic Logic’s Publication Ethics policy.
Full versions of important papers that have previously been published in conference proceedings are eligible for publication, provided that the submitted paper extends the prior publication in a significant way. In such cases, when authors submit a paper for publication in the JSL they are required to provide a precise reference to the prior publication and to explain how the submission differs from the conference version. If a paper has been previously rejected by one of the editors, this fact must be disclosed if it is being submitted to another editor.
The ASL policy on plagiarism applies to the JSL.
The ASL has an online web based management system for the JSL. All papers should be submitted via this system which can be found at asljournals.org. Instructions directed specifically at using the system can also be found there. Authors should keep a complete copy of their submission and all electronic files from which it was created.
The preferred format for submissions is pdf. Other standard formats may also be used at the submission stage (ps, dvi, word) if it is not possible to convert them to pdf. After acceptance, a Latex source file, preferably using the asl document class (asl.cls) and BibTeX style (asl.bst) which can be found at the author resources page would be much appreciated. A pdf file produced from the source code is also requested at that time.
Note that abstracts are now required for final versions of all papers. Key words and AMS classification numbers are strongly recommended.
If you cannot get the system to work or experience difficulties, please email email@example.com with a description of the problem.
Before publication, authors will be requested to sign a transfer of copyright to the Association for Symbolic Logic so that the authors and publishers may be protected from misuse of published material. No free print offprints will be supplied but after publication authors will receive a link to a freely accessible electronic pdf file of the published paper. Print offprints may be purchased if desired.