Расчет структур
В математической логике исчисление структур представляет собой исчисление доказательств с глубоким выводом для изучения теории структурных доказательств некоммутативной логики . С тех пор исчисление применяется для изучения линейной логики , классической логики , модальной логики и исчисления процессов , и утверждается, что в этих исследованиях можно получить множество преимуществ от того, как в исчислении обеспечивается глубокий вывод.
Ссылки
[ редактировать ]- Алессио Гульельми (2004), «Система взаимодействия и структура». Транзакции ACM в вычислительной логике .
- Кай Брюннлер (2004). Глубокий вывод и симметрия в классических доказательствах . Логотипы Верлаг.
Внешние ссылки
[ редактировать ]- Домашняя страница расчета структур
- CoS в Моде : страница, документирующая реализации логических систем в исчислении структур с использованием системы Мод .
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |