Vnořený sekvenční počet - Nested sequent calculus

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: "Vnořený sekvenční počet"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Červen 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v teorie strukturního důkazu, vnořený sekvenční počet je přeformulování následný počet dovolit hluboký závěr.

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.