Switch to: References

Add citations

You must login to add citations.
  1. A Kuroda-Style J -Translation.Benno van den Berg - forthcoming - Archive for Mathematical Logic:1-8.
    A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key is (...)
    Direct download (2 more)  
    Export citation