• Source: Calculus of structures

In mathematical logic, the calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus.




References



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.




External links


Calculus of structures homepage
CoS in Maude: page documenting implementations of logical systems in the calculus of structures, using the Maude system.

Kata Kunci Pencarian:

• Kalkulus struktur
• Bedawi
• Deret geometrik
• Relasi finiter
• Sistem saraf
• Pertumbuhan logaritmik
• Pi
• Logaritma
• 1 (angka)
• 0 (angka)
• Calculus of structures
• Structural proof theory
• Proof calculus
• Calculus (disambiguation)
• Calculus
• Noncommutative logic
• Calculus (dental)
• Deep inference
• Fundamental theorem of calculus
• Simply typed lambda calculus