default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 28
Volume 28, Number 1, March 2022
- Tim Button
:
Level Theory, Part 3: a Boolean Algebra of Sets Arranged in Well-Ordered Levels. 1-26 - Rupert Hölzl, Christopher P. Porter:
Degrees of Randomized Computability. 27-70 - Matthew Harrison-Trainor:
An Introduction to the Scott Complexity of Countable Structures and a Survey of Recent Results. 71-103 - Gil Sagi:
Invariance criteria as Meta-Constraints. 104-132
- James S. Barnes, Jun Le Goh, Richard A. Shore:
Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis. 133-149
- Manuel Lerman, Theodore A. Slaman:
IN MEMORIAM: GERALD E. SACKS, 1933-2019. 150-155
- Notices. 156-162
Volume 28, Number 2, June 2022
- Giulio Fellin, Peter Schuster, Daniel Misselbeck-Wessel:
The Jacobson radical of a Propositional Theory. 163-181 - Lorenzo Galeotti, Benedikt Löwe:
Order Types of Models of Fragments of Peano Arithmetic. 182-206 - Raphaël Carroy, Andrea Medini, Sandra Müller:
Constructing Wadge Classes. 207-257
- Madeline G. Barnicle:
Uniform Properties of Ideals in Rings of Restricted Power Series. 258 - Osvaldo Guzmán González:
P-points, MAD families and Cardinal Invariants. 258-260 - Kleidson Êglicio Carvalho da Silva Oliveira:
Paraconsistent Logic Programming in Three and Four-Valued Logics. 260 - Ana Claudia de Jesus Golzio:
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics. 260-261 - René Gazzari:
Formal Theories of Occurrences and Substitutions. 261-263 - Zach Norwood:
The Combinatorics and Absoluteness of Definable Sets of Real Numbers. 263-264 - Sandro Márcio da Silva Preto:
Semantics modulo satisfiability with applications: function representation, probabilities and game theory. 264-265 - Luka Mikec:
On Logics and Semantics for Interpretability. 265 - Pedro Pinto:
Proof Mining with the Bounded Functional Interpretation. 265-266 - Manlio Valenti:
A journey through computability, topology and analysis. 266-267
- 2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19-24, 2021. 268-318
- Notices. 319-325
Volume 28, Number 3, September 2022
- Michael Shulman:
Affine Logic for Constructive Mathematics. 327-386 - Lukasz Debowski, Tomasz Steifer:
Universal coding and Prediction on Ergodic Random Points. 387-412 - Saul Aaron Kripke:
The collapse of the Hilbert Program: a variation on the GöDelian Theme. 413-426 - Rodrigo A. Freire, Peter Holy:
An Axiomatic Approach to forcing in a General Setting. 427-450 - Emanuele Frittaion:
A note on Fragments of Uniform Reflection in second order Arithmetic. 451-465
- 2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7-8, 2022. 466
- 2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 2022. 467-469
- Notices. 470-475
Volume 28, Number 4, December 2022
Articles
- Hugo Albuquerque, Carlos Caleiro:
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS. 477-528
Thesis Abstracts
- Rodrigo Figueiredo:
O-minimal de Rham Cohomology. 529 - Hendrick Maia:
Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures. 529-530 - Will Stafford:
Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity. 530-531 - Mark Kamsma:
Independence Relations in Abstract Elementary Categories. 531 - Satoru Niki:
Investigations into intuitionistic and other negations. 532 - David J. Webb:
On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree. 532-533 - Xinhe Wu:
Boolean-Valued Models and Their Applications. 533 - Sven Storms:
The Buridan-Volpin Derivation System; Properties and Justification. 533-535
Meeting Report
- 2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7-10, 2022. 536-565
- 2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 - July 1, 2022. 566-606
Announcement
- NOTICES. 607-612
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 2024-11-11 21:16 CET 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:
