经典逻辑 = 纤维化的 MLL
逻辑
2007-05-23 v1
摘要
本文将经典命题证明表示为*组合证明*,其比证明网更为抽象:叠加(收缩/弱化)以数学方式建模,作为一种松弛形式的纤维化,而非句法方式(如证明网中涉及收缩与弱化节点)。组合证明是一个“纤维化的”乘法线性证明网,故有标题中的口号。消去割保持其来自相继式演算的丰富性:其非确定性不会坍缩为合流。[注:这仅是一个 2 页提纲,已被接受在 Logic in Computer Science '05 做简短报告。]
引用
@article{arxiv.math/0504028,
title = {Classical Logic = Fibred MLL},
author = {Dominic Hughes},
journal= {arXiv preprint arXiv:math/0504028},
year = {2007}
}
备注
2 pages. Accepted for short presentation at Logic in Computer Science '05