Richard Zach
University of Calgary
UofC Navigation
Short proofs of tautologies using the schema of equivalence
This website has moved!
You are looking at an archived page. The website has moved to richardzach.org.
Source
Computer Science Logic. 7th Workshop, CSL'93.
Swansea. Selected Papers (Springer, Berlin, 1994) 33-35
(with Matthias Baaz)
Abstract
It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A, where the depth of proofs is linear in the number of variables in A.
Download from Springer Link
Download preprint
