Highly Influential

@inproceedings{Sen2014AlgebrasOD, title={Algebras of Deductions in Category Theory}, author={K. D. Sen}, year={2014} }

- Published 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

### Presentations referencing similar topics