直觉主义逻辑中的否定词

该文从直觉主义否定词的特性出发讨论它存在的可能性,同时比较它与ELMQ中强否定词之间的关系,最后讨论了Heyting系统中两个否定性公理的合理性问题。