搜索结果: 1-1 共查到“数学 intuitionistically”相关记录1条 . 查询时间(0.062 秒)
Negative translations not intuitionistically equivalent to the usual ones
Negative translations intuitionistically the usual ones
2010/11/8
We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to...