Вложенное секвенционное исчисление
В теории структурных доказательств вложенное секвенциальное исчисление представляет собой переформулировку секвенциального исчисления, позволяющую делать глубокие выводы . [1]
Ссылки
[ редактировать ]- ^ Алвен Тиу; Егор Яновский; Раджив Горе. «Грамматическая логика в исчислении вложенных секвенций: теория доказательств и процедуры принятия решений». п. 1. CiteSeerX 10.1.1.1060.4978 .
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |