Mateusz Lelyk

According to our database, Mateusz Lelyk authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

The two halves of disjunctive correctness.

Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo

J. Math. Log., August, 2023

Model Theory and Proof Theory of the Global Reflection Principle.

Mateusz Lelyk

J. Symb. Log., 2023

Axiomatizations of Peano Arithmetic: a Truth-Theoretic View.

Ali Enayat, Mateusz Lelyk

J. Symb. Log., 2023

2021

Local collection and end-extensions of models of compositional truth.

Mateusz Lelyk, Bartosz Wcislo

Ann. Pure Appl. Log., 2021

2020

Truth and Feasible Reducibility.

Ali Enayat, Mateusz Lelyk, Bartosz Wcislo

J. Symb. Log., 2020

2019

Models of positive Truth.

Mateusz Lelyk, Bartosz Wcislo

Rev. Symb. Log., 2019

Scalar and Vectorial mu-calculus with Atoms.

Bartek Klin, Mateusz Lelyk

Log. Methods Comput. Sci., 2019

2017

Notes on Bounded Induction for the Compositional Truth Predicate.

Bartosz Wcislo, Mateusz Lelyk

Rev. Symb. Log., 2017

Models of Pt- with Internal Induction for total Formulae.

Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo

Rev. Symb. Log., 2017

Models of weak theories of truth.

Mateusz Lelyk, Bartosz Wcislo

Arch. Math. Log., 2017

Modal mu-Calculus with Atoms.

Bartek Klin, Mateusz Lelyk

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017