Статья
  • формат ppt
  • размер 111,08 КБ
  • добавлен 08 февраля 2016 г.
Лекции по многозначным логикам
Интернет-публикация. — (Автор и выходные данные неизвестны). — 33 с.
В презентационной форме предложен курс лекций по многозначной логике, а также её связи с известными неклассическими логиками.
Логики с неклассическим пониманием следования.
Релевантная логика.
Паранепротиворечивая логика.
Немонотонные логики.
Динамическая логика.
Логики, отменяющие закон исключённого третьего.
Интуиционистская логика.
Конструктивная логика.
Логика квантовой механики (Квантовая логика).
Логики, меняющие таблицы истинности.
Многозначная логика.
Двузначная логика.
Трёхзначная логика.
Модальная логика.
Модальность.
Алетические модальности.
Деонтические модальности.
Эпистемологические модальности.
Временные модальности.
Строгая импликация.
Материальная импликация.
Недедуктивные логические теории.
Индуктивная логика.
Вероятностная логика.
Логика решений.
Логика нечётких понятий (логика нечётких множеств, нечёткая логика).
Аналогия (умозаключение по аналогии).
Другие неклассические логики.
Категориальная логика.
Комбинаторная логика.
Кондициональная логика (условная логика).
Паранепротиворечивая логика.
Трехзначная система Я. Лукасевича.
Трехзначная система Бочвара Д.А.
К - значная логика Поста Е.Л.
Темпоральные логики.
Логика дискуссии С.Яськовского.
Интуиционистская логика А.Гейтинга.
Соотношение теоретико-множественной, интуиционистской и конструктивной математик.