Subject: Re: Frogs and Pigeons
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-03-22 06:43:59 GMT (1 year, 7 weeks, 2 days, 14 hours and 30 minutes ago)
Lutz, > Now it is very easy to exhibit a polynomial size proof for the > pidgeon-hole principle in the cut-free version of "SKS with substitution". Would that proof involve (other than substitution) only analytical rules, or would it also have to use some non-analytical rules such as upward aw? Giorgi