Abstract
Using the determinative sizes fօr tautologies of some sequences, it is proved in this paper that a Frege system and deep-inference proof system еКS exhibit an exponential speed-up over the deep-inference proof systems KS both by lines and size of proofs.
Full Text
Sign-in/Register to access full text options
Published version (Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have