直觉命题逻辑
Intuitionistic Propositional Logic
我一直在研究直觉逻辑和所谓的直觉命题逻辑的“否定片段”。但是，我找不到任何资源来解释为什么它被称为“负面片段”。
任何references/suggestions？
The image of the usual negative translations is (essentially) the negative fragment
NF, that is the set of all formulas without ∨ and ∃ and whose atomic formulas are
all negated
如果您查看第 3 页（或 here）给出的规则，翻译称为否定应该不足为奇。 Harper 定义的片段删除了
的要求
atomic formulas are
all negated
我一直在研究直觉逻辑和所谓的直觉命题逻辑的“否定片段”。但是，我找不到任何资源来解释为什么它被称为“负面片段”。
任何references/suggestions？
The image of the usual negative translations is (essentially) the negative fragment NF, that is the set of all formulas without ∨ and ∃ and whose atomic formulas are all negated
如果您查看第 3 页（或 here）给出的规则，翻译称为否定应该不足为奇。 Harper 定义的片段删除了
的要求atomic formulas are all negated