Logical rules as fractions and logics as sketches
arXiv:1807.01620
Abstract
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
arXiv:1807.01620
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.