Variants into minimal logic of the Kuroda negative translation
Logic
2013-04-12 v2
Abstract
The Kuroda negative translation translates classical logic only into intuitionistic logic, not into minimal logic. We present eight variants of the Kuroda negative translation that translate classical logic even into minimal logic. The proofs of their soundness theorems are interesting because they illustrate four different methods of proof.
Keywords
Cite
@article{arxiv.1108.0634,
title = {Variants into minimal logic of the Kuroda negative translation},
author = {Jaime Gaspar},
journal= {arXiv preprint arXiv:1108.0634},
year = {2013}
}