Список неклассических логик

Список неклассических логик

Настоящий список представляет собой классификацию неклассических логик.

Тип Англ. название Представители
Категорная логика en:Categorical logic
Комбинаторная логика en:Combinatory logic
Условная логика en:Conditional logic
Конструктивная логика en:Constructive logic
Кумулятивная логика (?) en:Cumulative logic
Деонтическая логика en:Deontic logic
Динамическая логика en:Dynamic logic Логика Хенненсси-Милнера
Эпистемическая логика en:Epistemic logic
Свободная логика en:Free logic
Нечёткая логика en:Fuzzy logic
Логика высших порядков en:Higher-order logic Логика второго порядка
Инфинитарная логика (?) en:Infinitary logic
Интенсиональная логика en:Intensional logic
Интуиционистская логика en:Intuitionistic logic
Многозначная логика en:Many-valued logic Логика Клини, Логика Лукасевича
Модальная логика en:Modal logic K4, K5
Немонотонная логика en:Non-monotonic logic
Паранепротиворечивая логика en:Paraconsistent logic
Частичная логика en:Partial logic Логика Клини
 ? en:Prohairetic logic
Квантовая логика en:Quantum logic
Релевантная логика (?) en:Relevant logic
Стоическая логика en:Stoic logic
Субстантивная логика en:Substance logic
Подструктурная логика en:Substructural logic
Темпоральная логика (временная логика) en:Temporal logic LTL, CTL, CTL*

Ссылки


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "Список неклассических логик" в других словарях:

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • Теория (логика) — В логике теория  это множество формул некоторого языка. Как правило, интерес представляют лишь теории, содержащие некоторый минимальный набор формул (аксиом) и замкнутые относительно некоторых правил вывода, специфических для языка. Термин… …   Википедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»