bn:00415349n
Noun Concept
SYL
No term available
EN
The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. Wikipedia
Sources