1.Previous
3.Next

idea of looking at the syntactic features of sequents as special, non-logical operators is not old, and was forced by innovations in proof theory: when the structural operators are as simple as in Getzen's original sequent calculus there is little need to analyse them, but proof calculi of deep inference such as display logic (introduced by Nuel Belnap in 1982) support structural operators as complex as the logical connectives, and demand sophisticated treatment.

1.Previous
3.Next