与通常的否定翻译直觉不等价的否定翻译
逻辑
2011-03-22 v2
摘要
我们通过给出两个反例，驳斥了所有否定翻译在直觉上等价的猜想。然后，我们刻画了与通常的否定翻译直觉等价的那些否定翻译。
引用
@article{arxiv.1011.0317,
title = {Negative translations not intuitionistically equivalent to the usual ones},
author = {Jaime Gaspar},
journal= {arXiv preprint arXiv:1011.0317},
year = {2011}
}