A Kuroda-style j-translation

DOI10.1007/S00153-018-0656-XMaRDI QIDQ2312092zbMATH OpenOpenAlexWikidataFDO

Authors Benno van den Berg

Publication date 4 July 2019

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

nucleusnegative translationj-translation

Mathematics Subject Classification ID

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

Abstract: In topos theory it is well-known that any nucleus j gives rise to a translation of intuitionistic logic into itself in a way which generalises the Goedel-Gentzen negative translation. Here we show that there exists a similar j-translation which is more in the spirit of Kuroda's negative translation. The key is to apply the nucleus not only to the entire formula and universally quantified subformulas, but to conclusions of implications as well. The development is entirely syntactic and no knowledge of topos theory is required to read this small note.

Recommendations

• Negative translations not intuitionistically equivalent to the usual ones
• scientific article; zbMATH DE number 6307933
• On various negative translations
• scientific article; zbMATH DE number 7204446
• A negationless interpretation of intuitionistic theories. I

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 6307933 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3411260 (Why is no real title available?)
• Basic subtoposes of the effective topos
• Computational types from a logical perspective
• Forcing in Proof Theory
• Intuitionistische Untersuchungen der formalistischen Logik
• Propositional lax logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Subminimal negation
• The Peirce translation
• The Russell-Prawitz modality

Cited in

(4)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Kolmogorov and Kuroda translations into basic predicate logic
• A general Glivenko-Gödel theorem for nuclei
• scientific article; zbMATH DE number 1156693 (Why is no real title available?)

This page was built for publication: A Kuroda-style \(j\)-translation

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