关于Flagg与Friedman的认识逻辑与直觉主义形式系统的注记
计算机科学中的逻辑
2015-11-24 v1
摘要
我们报告关于Flagg和Friedman从认识逻辑到直觉主义逻辑的翻译性质的发现，该翻译被提议作为Goodel翻译保真性综合证明方法的基础。我们聚焦命题情形并提出翻译必然化规则的可接纳性问题。然后，我们通过给出其翻译可靠性的显式证明对Flagg和Friedman的计划作出贡献。
引用
@article{arxiv.1511.07319,
title = {A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems},
author = {Alessandro Provetti and Andrea Zucchellini},
journal= {arXiv preprint arXiv:1511.07319},
year = {2015}
}
备注
Under evaluation by Annals of Pure and Applied Logic