带单位元的简单乘法证明网
逻辑
2007-05-23 v1 范畴论
摘要
本文给出带单位元的乘法线性逻辑的证明网的一个简单概念。剪切消除是直接且强范化的，这与先前方法在规范化过程中借助移动 par 单位的跳跃（附件）不同。所得证明网范畴中的复合 simply 是路径复合：所有动力学都发生在 GoI(Setp) 中，即作用于集合与偏函数范畴的相互作用几何构造。
引用
@article{arxiv.math/0507003,
title = {Simple multiplicative proof nets with units},
author = {Dominic Hughes},
journal= {arXiv preprint arXiv:math/0507003},
year = {2007}
}
备注
13 pages. Submitted for publication, March 5, 2005