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