Unpublished manuscript:
Samuel R. Buss and Peter Clote.
"Threshold logic proof systems."
Unpublished manuscript.
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..