On Boolean algebraic structure of proofs: Towards an algebraic semantics for the Logic of proofs