Класична логика: Разлика помеѓу преработките

==Некласични логики==

*[[Логика на пресметливоста]] е семантички конструирана формална теоприја на прсметливоста, наспроти класичната логика, која е формална теорија на вистинитоста; си спојува и проширува класичната, линарната и интуиционистичката логика.

*[[Интуиционистичка логика]] ги отфрла законот на исклучената средина, законот за двојната негација и Де Моргановите закони;

*[[Линеарна логика]] ја отфрла и идемпотенцијата на импликацијата;