4 citations · 5 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 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…
math.LO1994
Graph-Based Logic and Sketches 1: The General Framework
Atish Bagchi, Charles Wells
Traditional treatments of formal logic provide: 1. A syntax for formulas. 2. An inference relation between sets of formulas. 3. A rule for assigning meaning to formulas (semantics)…