Łełyk Mateusz

Presentations in Math-Net.Ru

1. The two halves of disjunctive correctness for the compositional truth predicate
   M. Łełyk
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 11, 2021 18:00   
2. Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$
   M. Łełyk
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 18, 2017 17:15