Samuel R. Buss and Peter Clote.
"Threshold logic proof systems."
Download article: postscript or PDF.
Abstract: This note shows the intersimulation of three propositional threshold logics within a polynomial size and a constant depth factor. The three logics are PTK, PTK', and FC..
Back to Sam Buss's publications page.