4 citations · 5 across the 3 of their papers we have counts for
3 papers
math.CT2008★ 4 cited
Graph-based Logic and Sketches
Atish Bagchi, Charles Wells
We present the basic ideas of forms (a generalization of Ehresmann's sketches) and their theories and models, more explicitly than in previous expositions. Forms provide the abilit…
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)…