Logic 直觉命题逻辑

我一直在研究直觉主义逻辑和直觉主义命题逻辑的“负片段”。然而，我无法找到任何资源来解释为什么它被称为“负片段”

有任何参考/建议吗？

根据

通常的否定翻译的形象（本质上）是否定片段 NF，这是所有公式的集合，没有∨ 及∃ 原子式是什么 全部否定

如果你看一下第3页（或）给出的规则，翻译被称为否定就不足为奇了。Harper定义的片段删除了以下要求：

原子公式是 全部否定

---

你能提供一份你在哪里找到的推荐信吗？这可能有助于我们给你一个更明确的答案。罗伯特·哈珀（Robert Harper）提到了这一点（参见和）。他在第1课结束时提到了这一点，但他没有明确说明为什么“负片段”是这个名字的原因。这让我好奇，但我找不到一个好的理由。也许稍后他会在讲座中解释，但感觉这是众所周知的。