.png){kind=icon}
.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
本文比较了经典命题逻辑的乘性系统LKm及其完全加性变体LKa。众所周知，后者是通过联合采用广义公理和逻辑规则的上下文共享表述来吸收结构规则而得到的。我们表明，这种结构规则的吸收可能使LKa成为一种纯粹语义工具。我们进一步论证，当考虑到当前关于语义污染的争论时，这个非常简单的案例研究可能具有一定的意义。事实上，LKm和LKa是两个共享定理及其使用的语法结构的证明系统，尽管LKa可以坍缩为适当的代数设置。这一观察的潜台词是双重的：(i) 支持并进一步阐明Avron在该问题上的著名立场，(ii) 指出一种我们称之为“深层”的独立于语言的语义污染形式。
Keyword:
proof systems
classical propositional logic
semantic pollution
structural rules
algebraic semantics