Lutz Strassburger (INRIA Saclay and LIX, École Polytechnique), Introduction to Combinatorial Proofs



In this talk I will give an introduction to combinatorial proofs, explain the motivation behind, and discuss what it means for a proof to be "without syntax". The main emphasis will be on combinatorial proofs for classical and intuitionistic propositional logic.