Неклассические логики
...форму; паранепротиворечивая логика , не позволяющая выводить из противоречия все что угодно; эпистемическая логика , изучающая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т.п.; логика предпочтений, имеющая дело с...