Аннотация:
В статье введён и изучен класс логических исчислений, называемых нечёткими модальными логиками. Описана семантика данных исчислений в классе нечётких моделей Крипке и доказана теорема полноты минимальной нечёткой модальной логики $\mathrm{FK}$ в классе нечётких моделей Крипке.
Ключевые слова:логика, нечёткость, модальность, модели Крипке.
Полный текст:
PDF файл (197 kB)