基于图的逻辑与概形 II：有限积范畴与等式逻辑（初步报告）
逻辑
2009-09-25 v1
摘要
本文证明了本论文第一部分（见 http://www.cwru.edu/1/class/mans/math/pub/wells）中为概形与形式所提供的证明论，足以推出 Goguen 与 Meseguer 的文章《多类等式逻辑的完备性》（技术报告 CSL-135，SRI International 计算机科学实验室，333 Ravenswood Ave., Menlo Park, CA 94025, USA，1982）中所给出的多类等式逻辑演绎系统的全部定理。
引用
@article{arxiv.math/9612220,
title = {Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)},
author = {Atish Bagchi and Charles Wells},
journal= {arXiv preprint arXiv:math/9612220},
year = {2009}
}