English Focused proofs Cited by user AlexGheorghiu on 27 Aug 2020 Focused proofs are particular family of analytic proofs which arise through goal-directed proof-search, and are a topic of study in structural proof theory and reductive…