Многозначные логики и их применения: Логические исчисления, алгебры и функциональные свойства