Список нестандартных логик

Список нестандартных логик

   

Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не устанавливается на информационные списки и глоссарии.

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

Тип	Англ. название	Представители
Категорная логика	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*

Ссылки

• http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm