nLab
deduction and induction - contents

deductive reasoning, deduction

• sequent

  hypothesis/context/antecedent $⊢$ conclusion/consequence/succedent

• logical framework

• deductive system,

  • natural deduction

    • type theory

  • sequent calculus

inductive reasoning

• induction, recursion

• inductive type, higher inductive type