default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 31

> Home > Journals > The Bulletin of Symbolic Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 31, Number 1, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25
BSL volume 31 issue 1 Cover and Back matter. 1-
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25a
BSL volume 31 issue 1 Cover and Front matter. 1-
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Veldman25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Veldman25
Wim Veldman:
On some of Brouwer's Axioms. 1-52
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bsl/Jerabek25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Jerabek25
Emil Jerábek:
A Simplified Lower Bound for Implicational Logic. 53-87
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/LeitgebNZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/LeitgebNZ25
Hannes Leitgeb, Uri Nodelman, Edward N. Zalta:
A Defense of Logicism. 88-152
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25b
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
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25c
Notices. 181-187
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25d
Association for Symbolic Logic. 188-193

Volume 31, Number 2, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/FarahGVV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/FarahGVV25
Ilijas Farah, Saeed Ghasemi, Andrea Vaccaro, Alessandro Vignati:
Corona Rigidity. 195-287
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/ArdeshirR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/ArdeshirR25
Mohammad Ardeshir, Wim Ruitenburg:
A Constructive Interpretation of the Logical constants. 288-318
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/BadiaFN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/BadiaFN25
Guillermo Badia, Ronald Fagin, Carles Noguera:
New Foundations of Reasoning via Real-Valued First-order Logics. 319-349
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Calvert25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Calvert25
Wesley Calvert:
Shay Fuchs. Introduction to Proofs and Proof Strategies. Cambridge University Press, Cambridge, 2023, xiv + 342 pp. 350-351
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Suzuki25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Suzuki25
Yudai Suzuki:
Studies on Partial Impredicativity in Formal Systems of Arithmetic and Computability Theory. 352-353
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Mackereth25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Mackereth25
Stephen Mackereth:
Logic, Arithmetic, and Definitions. 353
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25e
2024 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Sydney Sydney, Australia 26-28 November, 2024. 354-377
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X25f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X25f
Notices. 378-383

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.