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 Steve Awodey. 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 Association.

In order to be considered for publication, papers should be prepared following the BSL Guidelines and should be submitted to one of the BSL Editors. At the present time The Bulletin has no backlog, and papers often appear within 9 months or less of submission.

• Subscription information
• BSL guidelines
• BSL editors
• Author Resources
• The table of contents for all issues, with links to articles (in PostScript) can be found here.
• Access to the full-text of The Journal of Symbolic Logic for the years 1936-2004 is available to all ASL members via JSTOR. Click here for complete details.
• Access to full-text current content of The Journal of Symbolic Logic from 2003 is available to ASL members via Project Euclid. For details, click here.