11/11 — Gabriele Pulcini

Gabriele Pulcini
Post-doctoral researcher, CLE, Unicamp, Brazil

Abstract: We investigate the proof theory of supraclassical logics —
logics deductively stronger than propositional classical logic —
which have been introduced, semantically, by Makinson. Focusing on
Makinson’s logic of pivotal assumptions, we show that, for any cluster
of extra-logical assumptions, there exists exactly one axiomatic
extension of classical logic that admits for cut elimination.
Moreover, we contextually present a fully syntactical decision
procedure for the consistency problem of pivotal assumption logics.