The Bulletin of Symbolic Logic

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.

In order to be considered for publication, papers should be prepared following the BSL Guidelines and should be submitted on-line to one of the editors as directed there. At the present time The Bulletin has little backlog.

The Bulletin also publishes abstracts of logic theses. The editor for this section is Christian Rosendal,  rosendal.math@gmail.com. Please see the Instructions for submissions.

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 obituaries, reports of ASL meetings, Notices of interest to logicians, and the annual listing of ASL officers, Council members, committee members, and institutional members of the Association.

General subscription and access information to The Bulletin can be found at cambridge.org. Members of the Association can register for an individual account to access all the journals.