Algebraic Semantics for the Logic of Proofs - Amir Farahmand Parsa; Meghdad Ghari (2021)