English Proof theory Cited by user AlexGheorghiu on 27 Aug 2020 Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques.
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…