Расчет конструкций - Calculus of structures - Wikipedia

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

Рекомендации

  • Алессио Гульельми (2004 г.), «Система взаимодействия и структура». Транзакции ACM по вычислительной логике.
  • Кай Брюннлер (2004). Глубокий вывод и симметрия в классических доказательствах. Логотипы Верлаг.

внешняя ссылка