Bull. Symb. Log.

Keyphrases

Publications

volume 29, number 1, 2023

volume 28, number 1, 2022

volume 28, number 2, 2022

Raphaël Carroy, Andrea Medini, Sandra Müller
Constructing Wadge Classes. Bull. Symb. Log. 28 (2) (2022)
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19-24, 2021. Bull. Symb. Log. 28 (2) (2022)
Zach Norwood
The Combinatorics and Absoluteness of Definable Sets of Real Numbers. Bull. Symb. Log. 28 (2) (2022)
Pedro Pinto
Proof Mining with the Bounded Functional Interpretation. Bull. Symb. Log. 28 (2) (2022)
Luka Mikec
On Logics and Semantics for Interpretability. Bull. Symb. Log. 28 (2) (2022)
Osvaldo Guzmán González
P-points, MAD families and Cardinal Invariants. Bull. Symb. Log. 28 (2) (2022)
Sandro Márcio da Silva Preto
Semantics modulo satisfiability with applications: function representation, probabilities and game theory. Bull. Symb. Log. 28 (2) (2022)
Notices. Bull. Symb. Log. 28 (2) (2022)
Ana Claudia de Jesus Golzio
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics. Bull. Symb. Log. 28 (2) (2022)
René Gazzari
Formal Theories of Occurrences and Substitutions. Bull. Symb. Log. 28 (2) (2022)
Kleidson Êglicio Carvalho da Silva Oliveira
Paraconsistent Logic Programming in Three and Four-Valued Logics. Bull. Symb. Log. 28 (2) (2022)
Giulio Fellin, Peter Schuster, Daniel Wessel
The Jacobson radical of a Propositional Theory. Bull. Symb. Log. 28 (2) (2022)
Lorenzo Galeotti, Benedikt Löwe
Order Types of Models of Fragments of Peano Arithmetic. Bull. Symb. Log. 28 (2) (2022)
Madeline G. Barnicle
Uniform Properties of Ideals in Rings of Restricted Power Series. Bull. Symb. Log. 28 (2) (2022)
Manlio Valenti
A journey through computability, topology and analysis. Bull. Symb. Log. 28 (2) (2022)

volume 28, number 3, 2022

volume 28, number 4, 2022

volume 27, number 4, 2021

Liling Ko
-Fickle Recursively Enumerable Turing Degrees. Bull. Symb. Log. 27 (4) (2021)