Negative translations not intuitionistically equivalent to the usual ones

DOI10.1007/S11225-011-9367-6zbMATH Open1284.03263arXiv1011.0317OpenAlexW2018523347MaRDI QIDQ361872FDOQ361872

Authors: Jaime Gaspar 

Publication date: 19 August 2013

Published in: Studia Logica (Search for Journal in Brave)

Abstract: We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to the usual ones.

Full work available at URL: https://arxiv.org/abs/1011.0317

Recommendations

• On various negative translations
• Copies of classical logic in intuitionistic logic
• scientific article; zbMATH DE number 6307933
• scientific article; zbMATH DE number 7204446
• Negative Translations and Duality: Toward a Unified Approach

zbMATH Keywords

intuitionistic logicclassical logicdouble negation shiftdouble negation translationFriedman-Dragalin A-translationminimal logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Shoenfield is Gödel after Krivine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classical logic, continuation semantics and abstract machines
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• Title not available (Why is that?)
• Intuitionistische Untersuchungen der formalistischen Logik
• Epistemic and intuitionistic formal systems
• Logic and structure
• Refined program extraction from classical proofs
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)

Cited In (9)

• Title not available (Why is that?)
• Negative Translations and Duality: Toward a Unified Approach
• Subminimal negation
• Polarizing double-negation translations
• On various negative translations
• Kolmogorov and Kuroda translations into basic predicate logic
• A Kuroda-style \(j\)-translation
• Title not available (Why is that?)
• Copies of classical logic in intuitionistic logic

This page was built for publication: Negative translations not intuitionistically equivalent to the usual ones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q361872)