default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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.
last updated on 2026-05-17 00:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
