most citedGraph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO1996★ 1 cited

Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)

Atish Bagchi, Charles Wells

It is shown that the proof theory for sketches and forms provided in Part I of this paper (see http://www.cwru.edu/1/class/mans/math/pub/wells) is strong enough to produce all the…