deductive reasoning, deduction

sequent

hypothesis/context/antecedent $\vdash$ conclusion/consequence/succedent

logical framework

deductive system,

natural deduction

sequent calculus

inductive reasoning

induction, recursion

inductive type, higher inductive type

e.g natural deduction

Created on September 18, 2012 at 22:28:40. See the history of this page for a list of all contributions to it.