Skip to main content Accessibility help
Instructions for contributors

Download the Bulletin of Symbolic instructions for contributors here: Download Instruction for Contributors in PDF. (176.294 KB)

To view the PDF file linked above, you will need Adobe Acrobat Reader.

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a

journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is

designed to cover all areas within the purview of the ASL: mathematical logic and its applications,

philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and

methodology of mathematics.

The Bulletin of Symbolic Logic primarily publishes two types of papers:

Articles present topics of broad interest in a way that is accessible to a large audience. They can be purely

expository, survey, or historical articles or they may contain, in addition, new ideas or results or new

approaches to old ones.

Communications should be announcements of important new results and ideas in any aspect of logic; they

may be short papers in their final form or preliminary announcements (extended abstracts, position papers) of

longer, full papers that will be published elsewhere. In any case, they should include, in addition to a

description of the new results or ideas, enough history, background, and explanation to make the significance

of the work apparent to a wide audience. Communications will be quickly refereed and published with six

months of the submission of final version.

Other high quality submissions not exactly in these categories may be considered. Such submissions should be

sent to the Managing Editor.

The Bulletin also publishes a Reviews Section edited by Ernest Schimmerling. These reviews cover important

books and articles (especially collections of related articles) in all areas of the field. These Reviews were

published in The Journal of Symbolic Logic until the end of 1999.

The Bulletin also publishes reports of ASL meetings, Notices of interest to logicians, and the annual listing of

ASL officers, Council members, committee members, and individual and institutional members of the


In order to be considered for publication, papers should be prepared following the guidelines below and

should be submitted on-line to one of the editors as directed there. At the present time The Bulletin has little


The Bulletin of Symbolic Logic - Submission Guidelines

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

We have a new online web based management system for the BSL. Both articles and communications should

now be submitted via the ASL's online journal management website at

If you are new to this system, please register at this site as directed. You will then be taken to your "Projects"

page. Click on the button at the top of the page titled "New Submission"and follow the instructions. First

choose the Bulletin of Symbolic Logic from the Journal pull down list. Then choose an editor and upload the

files for your submission. If you do not choose an editor, the Managing Editor will assign one.

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, would be much appreciated. A pdf file produced from the source code is also

requested at that time.

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 BSL and is stated at

If you cannot get the system to work or experience difficulties, please email with a

description of the problem.

Papers already in progress will continue to be handled under the old system.

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. In such cases, when authors submit a 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.

Cambridge Language Editing Service

We suggest that authors whose first language is not English have their manuscripts checked by a native English speaker before submission. This is optional but will help to ensure that any submissions that reach peer review can be judged exclusively on academic merit. We offer a Cambridge service which you can find out more about here, and suggest that authors make contact as appropriate. Please note that use of language editing services is voluntary and at the author’s own expense. Use of these services does not guarantee that the manuscript will be accepted for publication nor does it restrict the author to submitting to a Cambridge-published journal.