Викия

Математика

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

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Поделиться

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Шаблон:Список

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

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

Ссылки Править


Викия-сеть

Случайная вики