论文标题
双边主义环境中逻辑连接的独特性
Uniqueness of logical connectives in a bilateralist setting
论文作者
论文摘要
在本文中，我将显示在更大的证明理论语义框架内处理双边主义环境中的连接词时遇到的问题，并提出解决方案。因此，逻辑2int是合适的，我为此引入了一个顺序的演算系统，显示 - 就像相应的自然扣除系统一样 - 可预订性的结果关系，以及一个偶性与可证明性。我将提出一种修改的特征，即具有二元性关系的唯一性，我们可以在双边主义环境中保持独特性。
In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of consequence relations, with which we can maintain uniqueness in a bilateralist setting.
