slideshow 3

Logic seminar

Reflection principles in the propositional calculus, Part 2

Pavel Pudlák


Monday, 27. April 2020 - 13:30 to 15:00 - meeting ID: 472 648 284
I will survey some results on the reflection principles for propositional proof systems, show a connection to the recent result on non-automatibility of Resolution and ask several problems.