-
- Get access
- Contains open access
- ISSN: 1079-8986 (Print), 1943-5894 (Online)
- Editor: James Cummings Carnegie Mellon University, USA
- Editorial board
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 presenting topics of broad interest in a way that is accessible to a large audience; and Communications which are announcements of important new results and ideas in any aspect of logic.
The Bulletin also publishes a Reviews Section (edited by Graham Leach-Kouse), a Thesis Abstract Section (edited by Christian Rosendal) and 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.
The Bulletin of Symbolic Logic primarily publishes two types of papers: Articles presenting topics of broad interest in a way that is accessible to a large audience; and Communications which are announcements of important new results and ideas in any aspect of logic.
The Bulletin also publishes a Reviews Section (edited by Graham Leach-Kouse), a Thesis Abstract Section (edited by Christian Rosendal) and 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.
Recently published articles
- Article
-
THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, Classical logic is not uniquely characterizable. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. - Rea Golan, There is no tenable notion of global metainferential validity. Analysis, vol. 81 (2021), no. 3, pp. 411–420.
- Bulletin of Symbolic Logic, Volume 29, Issue 3
- Article
-
NOTICES
- Bulletin of Symbolic Logic, Volume 29, Issue 3
Mathematics « Cambridge Core Blog
-
A pedestrian dynamics model accounting for the body size of agents
- 20 September 2023,
- Introducing a mathematical model for pedestrian dynamics that is based on social forces between pedestrians in exemplary hallway or crossing situations.
-
Introducing ‘Moduli’
- 02 June 2023,
- Moduli Managing Editors introduce the new open access mathematics journal owned by the Foundation Compositio Mathematica, published in collaboration with the...
-
The latest research in training modern machine learning models: ‘A deterministic modification of gradient descent that avoids saddle points
- 13 April 2023,
- Machine learning models, particularly those based on deep neural networks, have revolutionized the fields of data analysis, image recognition, and natural language...
Tweets by @cambUP_maths