Benjamin Ralph

According to our database, Benjamin Ralph authored at least 7 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Proof Compression via Subatomic Logic and Guarded Substitutions.

Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straßburger

CoRR, May, 2025

A Strictly Linear Subatomic Proof System.

Victoria Barrett, Alessio Guglielmi, Benjamin Ralph

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2020

Herbrand Proofs and Expansion Proofs as Decomposed Proofs.

Benjamin Ralph

J. Log. Comput., 2020

2019

Modular normalisation of classical proofs.

Benjamin Ralph

PhD thesis, 2019

Towards a Combinatorial Proof Theory.

Benjamin Ralph, Lutz Straßburger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

A Natural Proof System for Herbrand's Theorem.

Benjamin Ralph

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

Removing Cycles from Proofs.

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017