Calculus of structures とは

構造の微積分は、非可換論理の構造的証明理論を研究するための深い推論を持つ証明微積分である。この微積分はその後、線形論理、古典論理、モーダル論理、およびプロセス計算を研究するために適用されており、これらの研究では深い推論が微積分で利用可能になる方法から多くの利点が得られると主張されている。