Шаблон:Логика: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
РоманСузи (обсуждение | вклад) линейная логика - есть статья |
Bezik (обсуждение | вклад) -неясное, стандартные наименования |
||
Строка 26:
*[[Линейная логика]]
*[[Формальная система]]
*[[Натуральный вывод]]
*[[Исчисление секвенций]]
*[[Булева логика]]
*{{Iw|
*[[Деонтическая логика]]<!-- https://plato.stanford.edu/entries/logic-deontic/ -->
*[[Интуиционистское исчисление высказываний|Интуиционистская логика]]<!-- https://plato.stanford.edu/entries/logic-intuitionistic/ -->
Строка 64:
*{{Iw|Логическое умозаключение|Логическое умозаключение|en|Logical consequence}}<!-- https://plato.stanford.edu/entries/logical-consequence/ -->
*[[Логическая константа]]<!-- https://plato.stanford.edu/entries/logical-constants/ -->
*[[Истина (логика)|Истина]]
*[[Логическое следование]]<!-- https://plato.stanford.edu/entries/logical-consequence/ -->
*{{Iw|Логическая форма|Логическая форма|en|Logical form}}<!-- https://plato.stanford.edu/entries/logical-form/ -->
*[[Необходимое и достаточное условия]]
*[[Описание]]
|