Logical rules as fractions and logics as sketches
Logic in Computer Science
2018-07-05 v1 Category Theory
Abstract
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
Cite
@article{arxiv.1807.01620,
title = {Logical rules as fractions and logics as sketches},
author = {Dominique Duval},
journal= {arXiv preprint arXiv:1807.01620},
year = {2018}
}