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 di mana simpulan mendalam disediakan dalam kalkulus.

 Referensi 

 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 
 Calculus of structures homepage
 CoS in Maude : page documenting implementations of logical systems in the calculus of structures, using the Maude system.

Kategori:Kalkulus logikal