A NOTE ON PROOFS OF THE PIGEONHOLE PRINCIPLE IN DEEP INFERENCE ANUPAM DAS A BSTRACT. It is known that the functional and onto variants of the propositional pigeonhole principle have polynomial-size proofs in the weakest - Deep inference - Document - PDFSEARCH.IO

First Page	Meta Content
	A NOTE ON PROOFS OF THE PIGEONHOLE PRINCIPLE IN DEEP INFERENCE ANUPAM DAS A BSTRACT. It is known that the functional and onto variants of the propositional pigeonhole principle have polynomial-size proofs in the weakest Add to Reading List Document Date: 2012-06-04 15:20:25 Open Document File Size: 245,30 KB Share Result on Facebook

A NOTE ON PROOFS OF THE PIGEONHOLE PRINCIPLE IN DEEP INFERENCE ANUPAM DAS A BSTRACT. It is known that the functional and onto variants of the propositional pigeonhole principle have polynomial-size proofs in the weakest Add to Reading List