Benjamin Ralph

Proof Compression via Subatomic Logic and Guarded Substitutions

with V Barrett, Alessio Guglielmi, and Lutz Strassburger

A Strictly Linear Subatomic Proof System

with V Barrett and Alessio Guglielmi

Herbrand Proofs and Expansion Proofs as Decomposed Proofs

Towards a Combinatorial Proof Theory

with Lutz Strassburger

Modular Normalisation of Classical Proofs

Deep Inference, Herbrand's Theorem and Expansion Proofs

A Natural Proof System for Herbrand's Theorem

Removing Cycles from Proofs

with Alessio Guglielmi and Andrea Aler Tubella

Decomposing First-Order Proofs using Deep Inference

Understanding First-Order Cut Elimination and Herbrand's Theorem using Deep Inference

A Natural Cut-elimination Procedure for Classical First-order Logic

PhD Confirmation Report

Confluent and Natural Cut Elimination in Classical Logic

with Alessio Guglielmi