University of Calgary
UofC Navigation

Short proofs of tautologies using the schema of equivalence

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

doi:10.1007/BFb0049322

Download preprint

Download Preprint