Short proofs of tautologies using the schema of equivalence

Computer Science Logic. 7th Workshop, CSL’93.
Swansea. Selected Papers
(Springer, Berlin, 1994) 33-35
(with Matthias Baaz)

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.

DOI: 10.1007/BFb0049322

Preprint

Leave a Reply

Your email address will not be published. Required fields are marked *