弗协调集合论相关论文
20世纪60年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮。在这一时期,诞生了模态集合论、弗协调集合论、直觉主......
本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证......
