Negative translations not intuitionistically equivalent to the usual ones

DOI10.1007/S11225-011-9367-6MaRDI QIDQ361872zbMATH OpenOpenAlexFDO

Authors Jaime Gaspar

Publication date 19 August 2013

Published in Studia Logica (Search for Journal in Brave)

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

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)

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.

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

Cites work

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

Cited in

(10)

• Copies of classical logic in intuitionistic logic
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• 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
• Double negation semantics for generalisations of Heyting algebras
• A Kuroda-style \(j\)-translation
• scientific article; zbMATH DE number 6307933 (Why is no real title available?)

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)