一种Kuroda风格的j-翻译
逻辑
2018-08-03 v2
摘要
在拓扑斯理论中，众所周知任意核 j 都会产生一种直觉主义逻辑到自身的翻译，其推广了哥德尔-根岑负翻译。本文我们证明存在一种类似的 j-翻译，它更贴近 Kuroda 负翻译的精神。关键在于将核不仅应用于整个公式和全称量化子公式，也应用于蕴涵的结论。该推演完全是句法的，阅读此小注无需拓扑斯理论的知识。
引用
@article{arxiv.1708.08791,
title = {A Kuroda-style j-translation},
author = {Benno van den Berg},
journal= {arXiv preprint arXiv:1708.08791},
year = {2018}
}
备注
v2: Corrected a minor slip (thanks to Taichi Uemura and Albert Visser)