Kalkulus struktur

Kalkulus struktur adalah kalkulus pembuktian dengan simpulan mendalam () untuk mempelajari teori pembuktian struktural dari logika nonkomunikatif. Kalkulus telah diaplikasikan untuk mempelajari logika linear, logika klasik, logika pengandaian, dan kalkulus proses, beberapa kemajuan diklaim oleh penelitian ini dari jalur dimana simpulan mendalam disediakan dalam kalkulus.