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..

Back to Sam Buss's publications page.