Computational interpretation of classical logic with explicit structural rules

Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic

We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contractio…