同一物的可推演性、反映原则与合成联结词
逻辑
2026-01-29 v4
摘要
Sambin等人（2000）引入了基本逻辑作为各种逻辑的统一框架。同时，他们也引入了反映原则作为基本逻辑中成为联结词的标准。在本文中，我们通过证明Hacking的同一物的可推演性条件（Hacking, 1979）与反映原则的等价性，明确了二者之间的关系。此外，尽管Sambin等人猜想仅有六个联结词满足反映原则，我们证明一个逻辑联结词满足反映原则当且仅当它是Girard的合成联结词。
引用
@article{arxiv.1910.05120,
title = {Deducibility of Identicals, Reflection Principle and Synthetic Connectives},
author = {Yuki Nishimuta},
journal= {arXiv preprint arXiv:1910.05120},
year = {2026}
}