Algebras of Deductions in Category Theory

@inproceedings{Sen2014AlgebrasOD,
  title={Algebras of Deductions in Category Theory},
  author={K. D. Sen},
  year={2014}
}
In proof theory we use category theory to obtain identity criteria for deductions. Inference rules, by which we pass from one deduction to another, correspond there to partial algebraic operations. This is an algebra built on deductions and not on formulae. Logic is thereby tied to algebras of another kind than Boolean algebras, Heyting algebras, and… CONTINUE READING