4 citations · 4 across the 2 of their papers we have counts for
2 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.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)…