A Kuroda-style \(j\)-translation

DOI10.1007/s00153-018-0656-xzbMath1450.03003arXiv1708.08791OpenAlexW2963599042WikidataQ128746089 ScholiaQ128746089MaRDI QIDQ2312092

Benno van den Berg

Publication date: 4 July 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

nucleusnegative translationj-translation

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic subtoposes of the effective topos
• The Peirce translation
• Sheaves in geometry and logic: a first introduction to topos theory
• Propositional lax logic
• Subminimal negation
• The Russell–Prawitz modality
• Computational types from a logical perspective
• Forcing in Proof Theory
• Intuitionistische Untersuchungen der formalistischen Logik