Towards the Automated Generation of Focused Proof Systems

Vivek Nigam, Giselle Reis, Leonardo Lima

This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structure…