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 http://asljournals.org.
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
http://www.math.ucla.edu/~asl/, 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 email@example.com 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.