  We present algebraic semantics for the classical logic of proofs based on
Boolean algebras. We also extend the language of the logic of proofs in order
to have a Boolean structure on justification terms and equality predicate on
terms. In the end, the completeness theorem and certain generalizations of
Stone's representation theorem are obtained for all proposed algebras.
