Obserwuj
Mateusz Łełyk
Mateusz Łełyk
Nieznane powiązanie
Zweryfikowany adres z uw.edu.pl
Tytuł
Cytowane przez
Cytowane przez
Rok
Notes on bounded induction for the compositional truth predicate
B Wcisło, M Łełyk
The Review of Symbolic Logic 10 (3), 455-480, 2017
252017
Models of weak theories of truth
M Łełyk, B Wcisło
Archive for Mathematical Logic 56, 453-474, 2017
172017
Truth and feasible reducibility
A Enayat, M Łełyk, B Wcisło
The Journal of Symbolic Logic 85 (1), 367-421, 2020
122020
Axiomatic theories of truth, bounded induction and reflection principles
M Łełyk
122017
Scalar and Vectorial mu-calculus with Atoms
B Klin, M Łełyk
Logical Methods in Computer Science 15, 2019
92019
Models of positive truth
M Łełyk, B Wcisło
The Review of Symbolic Logic 12 (1), 144-172, 2019
92019
Models of PT–with internal induction for total formulae
C Cieśliński, M Łełyk, B Wcisło
The Review of Symbolic Logic 10 (1), 187-202, 2017
92017
Model theory and proof theory of the global reflection principle
MZ Łełyk
The Journal of Symbolic Logic 88 (2), 738-779, 2023
62023
Local collection and end-extensions of models of compositional truth
M Łełyk, B Wcisło
Annals of Pure and Applied Logic 172 (6), 102941, 2021
52021
The two halves of disjunctive correctness
C Cieśliński, M Łełyk, B Wcisło
Journal of Mathematical Logic 23 (02), 2250026, 2023
42023
Universal properties of truth
M Łełyk, B Wcisło
arXiv preprint arXiv:2304.00370, 2023
32023
A theory of implicit commitment
M Łełyk, C Nicolai
Synthese 200 (4), 284, 2022
32022
Axiomatizations of Peano Arithmetic: A truth-theoretic view
A Enayat, M Łełyk
The Journal of Symbolic Logic 88 (4), 1526-1555, 2023
22023
Comparing axiomatic theories of truth
M Łełyk
Studia Semiotyczne 33 (2), 255-286, 2019
22019
Strong and Weak Truth Principles 3
B Wcisło, M Łełyk
Studia Semiotyczne—English Supplement Volume XXIX, 107, 2017
12017
Varieties of truth definitions
P Gruza, M Łełyk
Archive for Mathematical Logic, 1-27, 2024
2024
Categoricity-like properties in the first-order realm
A Enayat, M Łełyk
2024
Pathologies in satisfaction classes
A Abdul-Quader, M Łełyk
Annals of Pure and Applied Logic 175 (2), 103387, 2024
2024
Implicit Commitment in a General Setting
C Nicolai, M Łełyk
Journal of Logic and Computation, 2023
2023
Metamathematics of the Global Reflection Principle.
M Łełyk
2021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20