Mateusz Lelyk

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Formal Language

Top Venues

Rev. Symb. Log.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Piotr Gruza, Mateusz Lelyk
Varieties of truth definitions. Arch. Math. Log. 63 (5-6) (2024)
Athar Abdul-Quader, Mateusz Lelyk
Pathologies in satisfaction classes. Ann. Pure Appl. Log. 175 (2) (2024)
Mateusz Lelyk
Model Theory and Proof Theory of the Global Reflection Principle. J. Symb. Log. 88 (2) (2023)
Ali Enayat, Mateusz Lelyk
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. J. Symb. Log. 88 (4) (2023)
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
The two halves of disjunctive correctness. J. Math. Log. 23 (2) (2023)
Mateusz Lelyk, Bartosz Wcislo
Local collection and end-extensions of models of compositional truth. Ann. Pure Appl. Log. 172 (6) (2021)
Ali Enayat, Mateusz Lelyk, Bartosz Wcislo
Truth and Feasible Reducibility. J. Symb. Log. 85 (1) (2020)
Bartek Klin, Mateusz Lelyk
Scalar and Vectorial mu-calculus with Atoms. Log. Methods Comput. Sci. 15 (4) (2019)
Mateusz Lelyk, Bartosz Wcislo
Models of positive Truth. Rev. Symb. Log. 12 (1) (2019)
Bartek Klin, Mateusz Lelyk
Scalar and Vectorial mu-calculus with Atoms. CoRR (2018)
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
Models of Pt- with Internal Induction for total Formulae. Rev. Symb. Log. 10 (1) (2017)
Bartosz Wcislo, Mateusz Lelyk
Notes on Bounded Induction for the Compositional Truth Predicate. Rev. Symb. Log. 10 (3) (2017)
Mateusz Lelyk, Bartosz Wcislo
Models of weak theories of truth. Arch. Math. Log. 56 (5-6) (2017)
Bartek Klin, Mateusz Lelyk
Modal mu-Calculus with Atoms. CSL (2017)