Logic seminar

Reflection principles in the propositional calculus.

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.

** Location: https://us02web.zoom.us/j/472648284 **