TL;DR
This paper compares deduction systems and graph rewriting within a categorical framework, leading to an improved diagrammatic logic deduction method.
Contribution
It introduces a unified categorical framework that enhances deduction methods in diagrammatic logics by comparing different systems.
Findings
Unified categorical framework for deduction systems and graph rewriting
Improved deduction method in diagrammatic logics
Enhanced understanding of deduction processes
Abstract
Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
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
TopicsLogic, programming, and type systems · Model-Driven Software Engineering Techniques · Formal Methods in Verification