Before revision: 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 logic.
After revision: aFocused 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 logic.