Многозначные логики

Многозначная логика, раздел математической логики, изучающий математические модели логики высказываний. Эти модели отражают две основные черты последней - множественность значений истинности высказываний и возможность построения новых, более сложных высказываний из заданных при помощи логических операций, которые позволяют также по значениям истинности исходных высказываний устанавливать значение истинности сложного высказывания.