Paraconsistent and relevance logics: Mathematical Logic course | Zoonk