Abstract
Deduction systems and graph transformation systems are compared within a common categorical framework. This comparison results in a proposal for a new deduction method in diagrammatic logics, allowing the deletion of intermediate lemmas.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have