Logical rules as fractions and logics as sketches
classification
💻 cs.LO
math.CT
keywords
fractionslogicallogicsrulessketchesarguecategorylimit
read the original abstract
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.