经典逻辑片段的组合：何时需要交互原则？
计算机科学中的逻辑
2018-10-17 v2
摘要
我们研究经典逻辑片段的组合，以此作为通过添加新联结词来保守地扩展给定布尔逻辑的一种方式，并精确刻画了此种组合在包含来自两个输入片段的联结词的签名上产生相应经典逻辑片段的情形。如果由此产生的组合片段仅由作为输入给出的组分不完全刻画，则意味着一个组分的联结词需要与另一组分的联结词交互，从而产生交互原则。主要贡献强烈依赖于 Post 对二值克隆的（众所周知的）描述、Rautenberg 对二值矩阵公理化程序的（不那么众所周知的）阐述，以及 Avron 的非确定矩阵——后者（最近）已被用于显著推进对 fibring 语义的理解。
引用
@article{arxiv.1810.05879,
title = {Combining fragments of classical logic: When are interaction principles needed?},
author = {Carlos Caleiro and Sérgio Marcelino and João Marcos},
journal= {arXiv preprint arXiv:1810.05879},
year = {2018}
}
备注
Authors' affiliations and funding information added