## You are here

# Special session "BEYOND LOGIC"

This meeting is organized by the ANR-DFG funded project BEYOND LOGIC and the CAPES-COFECUB funded project Preuves, démonstrations et représentation.

## Speakers

- Peter Schroeder-Heister (University of Tübingen)
- Wagner de Campos Sanz (Federal University of Goiás)

## Programme

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

**Peter Schroeder-Heister**

*Beyond Logic: Generalising the Logic of Refutation*

*Beyond Logic: Generalising the Logic of Refutation*

**Wagner de Campos Sanz**

*Cut as a Semantical Principle*

*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.