


default search action
The Bulletin of Symbolic Logic, Volume 31
Volume 31, Number 1, 2025
- BSL volume 31 issue 1 Cover and Back matter. 1-

- BSL volume 31 issue 1 Cover and Front matter. 1-

- Wim Veldman

:
On some of Brouwer's Axioms. 1-52 - Emil Jerábek:

A Simplified Lower Bound for Implicational Logic. 53-87 - Hannes Leitgeb

, Uri Nodelman
, Edward N. Zalta
:
A Defense of Logicism. 88-152 - THE 20TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Faculty de Ingeniería, Universidad de la República Montevideo, Uruguay July 1-5, 2024. 153-180

- Notices. 181-187

- Association for Symbolic Logic. 188-193

Volume 31, Number 2, 2025
- Ilijas Farah

, Saeed Ghasemi
, Andrea Vaccaro
, Alessandro Vignati
:
Corona Rigidity. 195-287 - Mohammad Ardeshir, Wim Ruitenburg:

A Constructive Interpretation of the Logical constants. 288-318 - Guillermo Badia

, Ronald Fagin, Carles Noguera
:
New Foundations of Reasoning via Real-Valued First-order Logics. 319-349 - Wesley Calvert:

Shay Fuchs. Introduction to Proofs and Proof Strategies. Cambridge University Press, Cambridge, 2023, xiv + 342 pp. 350-351 - Yudai Suzuki:

Studies on Partial Impredicativity in Formal Systems of Arithmetic and Computability Theory. 352-353 - Stephen Mackereth:

Logic, Arithmetic, and Definitions. 353 - 2024 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Sydney Sydney, Australia 26-28 November, 2024. 354-377

- Notices. 378-383

Volume 31, Number 3, 2025
- Jan von Plato:

Gentzen's Overview of Calculi and Reductions in Consistency Proofs. 385-417 - Péter Komjáth:

The ERDőS-Hajnal Problem List. 418-461 - Fedor Pakhomov

, Michael Rathjen, Dino Rossegger
:
Feferman's Completeness Theorem. 462-487 - Rodolfo Cristian Ertola Biraben

, Branden Fitelson
:
Univocity of intuitionistic and Classical Connectives. 488-497 - Jann Paul Engler:

Paolo Pistone. Polymorphism and the obstinate circularity of second order logic: A victim's tale The Bulletin of Symbolic Logic vol. 51 (2022), pp. 1345-1365. 498-500 - Henry Towsner:

Joseph Mileti. Modern Mathematical Logic . Cambridge University Press, Cambridge, 2022, xiv + 502 pp. 500-501 - 30TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2024) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland June 10-13, 2024. 502

- 2025 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Seattle, WA 2025 Joint Mathematics Meeting January 8-11, 2025. 503-507

- 31ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2025) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Porto, Portugal July 14-17, 2025. 508

- Notices. 509-514

Volume 31, Number 4, 2025
- Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen:

On Representations of irrational numbers and the Computational Complexity of Converting between such Representations. 515-589 - Guillermo Badia

, Daniel Gaina
, Alexander Knapp, Tomasz Kowalski
, Martin Wirsing:
A Modular Bisimulation characterisation for Fragments of Hybrid Logic. 590-618 - Toby Meadows:

Of sheep and Wolves: Equivalence and Disagreement in Set Theory. 619-685 - Neil Barton:

Tim Button. Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp. 436-460. - Tim Button. Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy The Bulletin of Symbolic Logic, vol. 27 (2021), no. 4, pp. 461-484. - Tim Button. Level Theory, Part 3: A Boolean Algebra of Sets Arranged in Well-Ordered Levels The Bulletin of Symbolic Logic, vol. 28 (2022), no. 1, pp. 1-26. 686-689 - Ludovica Conti:

Gabriel Uzquiano. Impredicativity and paradox . Thought, vol. 8 (2019), no. 3, pp. 209-221. 690-691 - Diego A. Rojas:

Handbook of Computability and Complexity in Analysis. edited by Vasco Brattka and Peter Hertling, Springer, Cham, Switzerland, 2021, xxv + 427 pp. 691-693 - Java Darleen Villano:

Computable Categoricity, and Topology in Reverse Mathematics. 694 - Giulio Fellin:

Constructivisation through Induction and Conservation. 695 - Obrad Kasum:

Investigation into phenomena surrounding universally Baire sets. 695-696 - Juvenal Murwanashyaka:

Papers on weak first-order theories and decidability problems. 696 - 2025 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC 2025 APA Central Division Virtual Meeting February 27 - March 1, 2025. 697-701

- 2025 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC New Mexico State University Las Cruces, NM, USA May 13-16, 2025. 702-736

- Notices. 737-742


manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














