Amir Farahmand Parsa

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Epistemic Logic

Cut Elimination

Top Venues

Publications

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