Эта книга - первое российское издание, в котором нечеткая логика представлена с позиций формального дедуктивного исчисления. Специфика нечеткости отражена в выборе решеточной структуры истинностных значений, обогащенной алгебраическими операциями. Возникающая при этом логическая алгебра, называемая резидуальной решеткой, обобщает булеву алгебру. Процесс вывода в нечеткой логике сопровождается вычислением оценки истинности заключения, которая может быть выражена словесно ("истинно", "более или менее истинно" и т.п.) или числом в интервале [0,1]. Помимо логики в книге рассматриваются примеры формальных конструкций фраз естественного языка и неформальных схем построения умозаключений. В качестве нетрадиционного приложения рассмотрены методы приближенного представления функций обобщенными нормальными формами. Для студентов, аспирантов и научных сотрудников университетов, технических вузов, научных учреждений.