On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. - Amir Farahmand Parsa; Meghdad Ghari (Stud Logica, 2023)