-
- 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
-
NOTICES
- Bulletin of Symbolic Logic, Volume 30, Issue 2
- Article
-
COMPACTNESS OFAND STRONG AXIOMS OF DETERMINACY - N. Trang, Structure theory ofand its applications. Journal of Symbolic Logic, vol. 80 (2015), no. 1, pp. 29–55. - N. Trang, Supercompactness can be equiconsistent with measurability. Notre Dame Journal of Formal Logic, vol. 62 (2021), no. 4, pp. 593–618. - N. Trang and T. Wilson, Determinacy from strong compactness of . Annals of Pure and Applied Logic, vol. 172 (2021), no. 6, Article no. 102944, 30pp. - D. Ikegami and N. Trang, On supercompactness of $\omega _1$, Advances in Mathematical Logic (T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka, editors), Springer, Proceedings Mathematics & Statistics, Singapore, 369, 2021, pp. 27–45.
- Bulletin of Symbolic Logic, Volume 30, Issue 2
Mathematics « Cambridge Core Blog
-
A free boundary model for transport-induced neurite growth
- 12 December 2024,
- Understanding the mechanisms of neuronal development is vital for elucidating the intricate processes that govern the nervous system. In a neuron’s final...
-
New research explores collaborative population dynamics of plants and insects
- 20 August 2024,
- Understanding the evolution of nature through a model describing collaborative population dynamics of plants and insects.
-
How opinion dynamics can be used for mathematical optimization
- 30 April 2024,
- "Swarm intelligence," a term that abstractly captures the collective tendency to facilitate consensus formation by exchanging information within groups of individuals,...
Tweets by @cambUP_maths