A Kuroda-style j-translation

DOI10.1007/S00153-018-0656-XzbMATH Open1450.03003arXiv1708.08791OpenAlexW2963599042WikidataQ128746089 ScholiaQ128746089MaRDI QIDQ2312092FDOQ2312092

Authors: Benno van den Berg 

Publication date: 4 July 2019

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionistische Untersuchungen der formalistischen Logik
• Propositional lax logic
• Basic subtoposes of the effective topos
• The Peirce translation
• The Russell-Prawitz modality
• Computational types from a logical perspective
• Forcing in Proof Theory
• Subminimal negation
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• A general Glivenko-Gödel theorem for nuclei
• Kolmogorov and Kuroda translations into basic predicate logic

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)