Логіки некласичні

напрям сучасної формальної логіки, що вивчає логічні системи