#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

3 октября 2025 г.

Г. Г. Черевиченко
"Малоизвестные формализации логики высказываний"

Предполагается рассмотреть таблицы Бета и диалоги Лоренцена. Хочется иметь исчисление, в котором удобно искать вывод формулы "снизу вверх", причём получаться должен или вывод, или контрмодель (Крипке, если логика интуиционистская). Такие исчисления есть.

➰ ВК