Kalkulus struktur
Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini. Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala. Tag ini diberikan pada Februari 2023. |
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
- Calculus of structures homepage
- CoS in Maude Diarsipkan 2004-12-07 di Wayback Machine.: page documenting implementations of logical systems in the calculus of structures, using the Maude system.
 | Artikel bertopik logika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |