Proof Society Seminar 09.03.2026 -- Raheleh Jalali
Elaine Pimentel
Dear all,
The next Proof Society Seminar will take place on Monday 09 March 2026 at 14:00 CET. Our speaker will be Raheleh Jalali from the Univeristy of Bath. Details can be found below.
9 March 2026, 13:00 UTC – Proof Society Seminar
Raheleh Jalali (University of Bath)
The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logic
A longstanding challenge in proof complexity is to prove lower bounds on proof size in the classical sequent calculus. This talk sheds new light on this problem by isolating the contribution of individual structural rules. We show that the combined strength of contraction and weakening rules far exceeds that of any one of them in isolation. By restricting these rules one at a time, we obtain exponential or sub-exponential proof-size lower bounds for formulas that nevertheless admit short classical proofs. The results demonstrate that classical proof efficiency arises from the combination of structural rules.
The Proof Society Seminar features leading researchers in proof theory and related areas of logic. Talks are held online via Zoom, usually on Mondays, approximately once per month. They begin at 13:00 UTC and last up to 75 minutes, followed by questions.
To attend, please join via Zoom:
Recordings of the seminars are available at this YouTube channel