线性谓词逻辑中的一致性
逻辑
2014-06-18 v9 范畴论
摘要
针对对应于不含或含混合规则的经典线性一阶谓词逻辑乘法片段（无常量命题）的范畴，证明了其关于 Kelly-Mac Lane 图的一致性。为获得此结果，首先建立了针对对应于含一阶量词的经典线性逻辑乘法合取 - 析取片段（该片段不含否定）的范畴的一致性。这些结果扩展了作者在前两本著作中发表的结果，那些工作中为对应于命题经典线性逻辑片段的范畴建立了一致性，这些范畴与证明网相关，并可描述为无单位对象的星自主范畴。
引用
@article{arxiv.0709.1421,
title = {Coherence in Linear Predicate Logic},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:0709.1421},
year = {2014}
}
评论
51 pages