Short Proofs of Tautologies using the Schema of Equivalence

In Egon Börger, Yuri Gurevich & Karl Meinke (eds.), Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers. Springer. pp. 33-35 (1994)
  Copy   BIBTEX

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 .

Author Profiles

Richard Zach
University of Calgary

Analytics

Added to PP
2017-10-10

Downloads
473 (#48,625)

6 months
89 (#63,587)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?