You are here
Special session "BEYOND LOGIC"
- Peter Schroeder-Heister (University of Tübingen)
- Wagner de Campos Sanz (Federal University of Goiás)
10:00 - 11:20 - Peter Schroeder-Heister - Beyond Logic: Generalising the Logic of Refutation
11:20 - 11:40 - Coffee break
11:40 - 13:00 - Wagner de Campos Sanz - Cut as a Semantical Principle
Titles and abstracts
Beyond Logic: Generalising the Logic of Refutation
Wagner de Campos Sanz
Cut as a Semantical Principle
The eliminability of the Cut rule in the sequent calculus is a cornerstone of proof-theory. It guarantees a series of nice properties of the calculus, like consistency via subformula property, etc. Cut has been usually considered a syntactical rule. We want to defy such an assumption. We see reasons for taking it as a semantical principle. If this thesis is accepted, then as a consequence we obtain a semantics for intuitionistic propositional logic.