Logical rules as fractions and logics as sketches
Dominique Duval (LJK)
TL;DR
This paper proposes a categorical framework where logical rules are represented as fractions and logics as limit sketches, offering a new perspective on the structure of logical systems.
Contribution
It introduces a novel categorical approach to understanding logical rules and logics using fractions and limit sketches, respectively.
Findings
Logical rules can be modeled as fractions in category theory.
Logics can be represented as limit sketches.
Provides a new formal framework for logical systems.
Abstract
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Philosophy and Theoretical Science · Logic, Reasoning, and Knowledge