论文部分内容阅读
从结构推理的观点来看，结合演算是一种很弱的逻辑，因为它仅容纳一种结构规则，即“结合规则”。正结合演算作为一种“正命题逻辑”，是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B，阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值，证明了系统BL和系统B的等价性。