LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication

by Vincent Danos , Jean-Baptiste Joinet , Harold Schellinx
Citations:35 - 4 self