![Deduction / Natural deduction / Curry–Howard correspondence / Sequent calculus / Entailment / Judgment / Monotonicity of entailment / Soundness / Implicational propositional calculus / Logic / Proof theory / Mathematical logic Deduction / Natural deduction / Curry–Howard correspondence / Sequent calculus / Entailment / Judgment / Monotonicity of entailment / Soundness / Implicational propositional calculus / Logic / Proof theory / Mathematical logic](https://www.pdfsearch.io/img/79c75dba17cfae50b122e7319c95e50f.jpg)
| Document Date: 2004-01-22 08:01:14 Open Document File Size: 165,00 KBShare Result on Facebook
IndustryTerm proof search steps / proof search / proof search procedure / proof search strategies / search procedure / / OperatingSystem Sequent / /
SocialTag |