Какие существуют неклассические теории логического следования?

Алиса

На основе источников, возможны неточности

Как это работает?

Некоторые неклассические теории логического следования:

Релевантная логика. bigenc.ru azbyka.ru Разработана А. Р. Андерсоном и Н. Белнапом в 1960-е годы. bigenc.ru

Логика следования. bigenc.ru Построена В. Аккерманом в 1956 году. bigenc.ru

Модальная логика. ru.ruwiki.ru bigenc.ru Является расширением классической логики, в котором, кроме стандартных логических связок, переменных и/или предикатов, имеются также модальности (модальные операторы). ru.ruwiki.ru

Квантовые логики. bigenc.ru Построены Г. Биркгофом и Дж. фон Нейманом в 1936 году, в них критиковался закон дистрибутивности. bigenc.ru

«Логика Шрёдингера». bigenc.ru Построена в 1994 году, в ней была подвергнута сомнению общезначимость закона тождества как не имеющего место для микрообъектов. bigenc.ru

Нечёткая логика. ru.ruwiki.ru ru.wikipedia.org Исключает закон исключённого третьего и позволяет значению истинности иметь любое действительное значение в интервале от 0 до 1. ru.ruwiki.ru ru.wikipedia.org

Интуиционистское исчисление высказываний. ru.ruwiki.ru ru.wikipedia.org Исключает закон исключённого третьего, закон двойного отрицания и законы де Моргана. ru.ruwiki.ru ru.wikipedia.org

{{?data.externalData.likes.liked}}{{?data.externalData.likes.count==1}}Вам понравилось{{??}}Вы и ещё {{=data.externalData.likes.count-1}}{{?}}{{??}}{{=data.externalData.likes.count}}{{?}}

Найти в Поиске

Примеры полезных ответов Поиска с Алисой на вопросы из разных сфер. Вопросы сгенерированы нейросетью YandexGPT для актуальных тем, которые определяются на базе обобщённых запросов к Поиску с Алисой.

Пожаловаться на контент

Пользовательское соглашение

Связаться с нами

Задать новый вопрос

Как это работает?