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. (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 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 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. |
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.