The Bulletin of Symbolic Logic

Submission Guidelines

Articles and communications should be submitted via the ASL journal management website.

The preferred format for submissions is a PDF file. Other standard formats may be used at the submission stage (ps, dvi, word) if it is not possible to convert them to a PDF. After acceptance, authors may be asked for 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.

A link to a PDF file of the published version of accepted papers which can be distributed by the authors will be supplied at no charge. The ASL policy on plagiarism applies to the BSL.

If you experience any difficulties with the journal management system, please email Richard Shore (aslpub@math.cornell.edu) with a description of the problem.

The BSL publishes only original papers that have not been published previously, and are not submitted for publication elsewhere. Full versions of important papers that have previously been published in conference proceedings are eligible for publication, provided that the submitted paper extends the pre-publication in a significant way. When authors submit this type of paper for publication in the BSL, they are requested to provide a precise reference to the pre-publication and to explain the extent to which the submission differs from the conference version.

Communications will be refereed quickly and published within six months of receipt of the final versions.

All issues of the BSL are available online as PostScript files via a Table of Contents.