پیشنیازها Classical logic Non-classical logics شاخهها Intuitionistic logic Intuitionistic logic Free Logics Free Logics Relevance logics Relevance logics