Logic seminar
Reflection principles in the propositional calculus, Part 2
Pavel Pudlák
IM CAS
Monday, 27. April 2020 - 13:30 to 15:00
https://us02web.zoom.us/j/472648284 - 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.