双边主义设定下逻辑联结词的唯一性
计算机科学中的逻辑
2022-10-04 v1 逻辑
摘要
在本文中，我将展示在证明论语义的更宏大框架下处理双边主义设定中联结词唯一性时所遇到的问题，并给出一种解决方案。因此，逻辑2Int是适用的，为此我引入了一个序贯演算系统，其如同相应的自然演绎系统一样，展示了可证性的推论关系以及一种对偶于可证性的推论关系。我将提出一种纳入此种推论关系对偶性的唯一性修正刻画，借此我们可在双边主义设定中保持唯一性。
引用
@article{arxiv.2210.00989,
title = {Uniqueness of logical connectives in a bilateralist setting},
author = {Sara Ayhan},
journal= {arXiv preprint arXiv:2210.00989},
year = {2022}
}