Logical rules as fractions and logics as sketches
published by Dominique Duval
in 2018
in Informatics Engineering
and research's language is
English
Download
Abstract in English
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
Download