Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)
Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)
Atish Bagchi
1996
4 Citations
TLDR
It is shown that the proof theory for sketches and forms provided in Part I of this paper is strong enough to produce all the theorems of the entailment system for multisorted equational logic.