Kalkulus struktur adalah kalkulus pembuktian dengan simpulan mendalam (bahasa Inggris: Deep inference) 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.

Referensi

sunting
  • Alessio Guglielmi (2004)., 'A System of Interaction and Structure'. ACM Transactions on Computational Logic.
  • Kai Brünnler (2004). Deep Inference and Symmetry in Classical Proofs. Logos Verlag.

Pranala luar

sunting