一种用于建模干扰的相继式演算
计算机科学中的逻辑
2007-06-25 v1
摘要
本文提出了一种作为线性逻辑保守扩展的逻辑演算。该工作背后的动机涉及证明搜索中的惰性求值、真并发与干扰。该演算包含两个用于处理多重相继式结构的新连接词，并具有切消性质。文中提出了若干扩展，给出了关于我们目标的初步结果。
引用
@article{arxiv.0706.3341,
title = {A Sequent Calculus for Modelling Interferences},
author = {Christophe Fouqueré},
journal= {arXiv preprint arXiv:0706.3341},
year = {2007}
}