Before revision: In mathematical logic, focused proofs are a 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: In mathematical logic, focused proofs are a particular family of analytic proofs that arise through goal-directed proof-search, and are a topic of study in structural proof theory and reductive logic.