2011/08/02 by Jaime Gaspar, Gaspar, Jaime
Computer Science · #03F25 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1108.0634
openalex publication_date 2011/08/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.