https://intlibrary.ir/download/proof-theory-of-n4-paraconsistent-logics-91388/