ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2003, ТОМ 9, ВЫПУСК 1, СТР. 201-230

Нечёткие модальные логики

А. М. Миронов

Аннотация

Посмотреть как HTML    Посмотреть как рисунок

В статье введён и изучен класс логических исчислений, называемых нечёткими модальными логиками. Описана семантика данных исчислений в классе нечётких моделей Крипке и доказана теорема полноты минимальной нечёткой модальной логики $FK$ в классе нечётких моделей Крипке.

Полнотекстовая версия статьи в формате PDF (198 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k03/k031/k03112h.htm.
Изменения вносились 4 апреля 2004 г.