Logic seminar

The symmetric calculus and monotone interpolation, Part 2

In this talk I will say a little bit more about the topic that I presented this spring. First I will ask and explain the problem whether the symmetric calculus simulates Frege systems. Then I show how one can strengthen the characterization of the canonical and interpolation pairs. The result can be viewed as monotone interpolation by certain generalizations of monotone Boolean circuits, called bounded depth game schemas. I will also show simulations of point-line game schemas by depth-2 games and vice versa.