TY  - RPRT
TI  - Algebraic Semantics for the Logic of Proofs
AU  - Amir Farahmand Parsa
AU  - Meghdad Ghari
PY  - 2021
DO  - 10.1007/s11225-022-10033-2
UR  - https://arxiv.org/abs/2106.10931
ID  - 2106.10931
ER  -