展示逻辑的证明网
计算与语言
2007-11-16 v1
摘要
本文探讨了兰贝克演算证明网的几种扩展，旨在以自然的方式处理展示逻辑中的不同联结词。新的证明网演算处理了兰贝克词汇中的一些近期补充，如伽罗瓦连接和格里辛相互作用。文章最后探讨了兰贝克 - 格里辛演算的生成能力，提出了将词汇化树邻接文法嵌入到兰贝克 - 格里辛演算中的方案。
关键词
引用
@article{arxiv.0711.2444,
title = {Proof nets for display logic},
author = {Richard Moot},
journal= {arXiv preprint arXiv:0711.2444},
year = {2007}
}