Negative translations not intuitionistically equivalent to the usual ones

DOI10.1007/s11225-011-9367-6zbMath1284.03263arXiv1011.0317OpenAlexW2018523347MaRDI QIDQ361872

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 logicdouble negation translationclassical logicdouble negation shiftFriedman-Dragalin A-translationminimal logic

Mathematics Subject Classification ID

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

Related Items (2)

Subminimal negation ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Epistemic and intuitionistic formal systems
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• 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
• Classical logic, continuation semantics and abstract machines
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• Intuitionistische Untersuchungen der formalistischen Logik
• Logic and structure
• Refined program extraction from classical proofs

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