{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:47:08Z","timestamp":1751982428982},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,10,12]],"date-time":"2012-10-12T00:00:00Z","timestamp":1350000000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s11225-011-9367-6","type":"journal-article","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T13:01:15Z","timestamp":1349960475000},"page":"45-63","source":"Crossref","is-referenced-by-count":2,"title":["Negative Translations Not Intuitionistically Equivalent to the Usual Ones"],"prefix":"10.1007","volume":"101","author":[{"given":"Jaime","family":"Gaspar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,10,12]]},"reference":[{"key":"9367_CR1","unstructured":"Avigad, J., A variant of the Double-Negation Translation, Carnegie Mellon University Research Showcase, number CMU-PHIL-179, 2006."},{"issue":"1\u20133","key":"9367_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0168-0072(01)00073-2","volume":"114","author":"U. Berger","year":"2002","unstructured":"Berger U., Buchholz W., Schwichtenberg H.: Refined program extraction from classical proofs. Annals of Pure and Applied Logic 114(1\u20133), 3\u201325 (2002)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9367_CR3","doi-asserted-by":"crossref","unstructured":"Coquand, T., Computational content of classical logic, in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Cambridge University Press, Cambridge, United Kingdom, 1997, pp. 33\u201378.","DOI":"10.1017\/CBO9780511526619.003"},{"issue":"2","key":"9367_CR4","first-page":"461","volume":"21","author":"A.G. Dragalin","year":"1980","unstructured":"Dragalin A.G.: New forms of realizability and Markov\u2019s rule. Soviet Mathematics Doklady 21(2), 461\u2013464 (1980)","journal-title":"Soviet Mathematics Doklady"},{"key":"9367_CR5","unstructured":"Dragalin, A. G., New forms of realizability and Markov\u2019s rule (Russian), Doklady Akademii Nauk SSSR 251:534\u2013537, 1980. English translation: New forms of realizability and Markov\u2019s rule [4]."},{"key":"9367_CR6","doi-asserted-by":"crossref","unstructured":"Ferreira, G., and P. Oliva, On various negative translations, in S. van Bakel, S. Berardi and U. Berger (eds.), Electronic Proceedings in Theoretical Computer Science, number 47, 2001, pp. 21\u201333. Proceedings of the Third International Workshop on Classical Logic and Computation, Brno, Czech Republic, 21\u201322 August 2010.","DOI":"10.4204\/EPTCS.47.4"},{"key":"9367_CR7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0168-0072(86)90043-6","volume":"32","author":"R.C. Flagg","year":"1986","unstructured":"Flagg R.C., Friedman H.: Epistemic and intuitionistic formal systems. Annals of Pure and Applied Logic 32, 53\u201360 (1986)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9367_CR8","doi-asserted-by":"crossref","unstructured":"Friedman, H., Classically and intuitionistically provably recursive functions, in G. H. M\u00fcller and D. S. Scott (eds.), Higher Set Theory, Lecture Notes in Mathematics, number 669, Springer-Verlag, Berlin, Germany, and Heidelberg, Germany, 1978, pp. 21\u201327. Proceedings of Higher Set Theory, Oberwolfach, Germany, 13\u201323 April 1977.","DOI":"10.1007\/BFb0103100"},{"key":"9367_CR9","unstructured":"Gentzen, G., \u00dcber das Verh\u00e4ltnis zwischen intuitionistischer und klassischer Arithmetik, 1933. Galley proof from Mathematische Annalen. Appeared in Archiv f\u00fcr mathematische Logik und Grundlagenforschung [11]. English translation: On the relation between intuitionistic and classical arithmetic [10, pp. 53\u201367]."},{"key":"9367_CR10","unstructured":"Gentzen, G., The Collected Papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, Netherlands, and London, United Kingdom, 1969."},{"key":"9367_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF02015371","volume":"16","author":"G. Gentzen","year":"1974","unstructured":"Gentzen G.: \u00dcber das Verh\u00e4ltnis zwischen intuitionistischer und klassischer Arithmetik. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 16, 119\u2013132 (1974)","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"9367_CR12","unstructured":"G\u00f6del, K., Zur intuitionistischen Arithmetik und Zahlentheorie, Ergebnisse eines mathematischen Kolloquiums 4:34\u201338, 1933. English translation: On intuitionistic arithmetic and number theory [13, pp. 286\u2013295]."},{"key":"9367_CR13","unstructured":"G\u00f6del, K., Collected Works, volume 1, Oxford University Press, New York, United States of America, 1986."},{"issue":"1","key":"9367_CR14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R","volume":"46","author":"H. Ishihara","year":"2000","unstructured":"Ishihara H.: A note on the G\u00f6del-Gentzen translation. Mathematical Logic Quarterly 46(1), 135\u2013137 (2000)","journal-title":"Mathematical Logic Quarterly"},{"key":"9367_CR15","unstructured":"Kolmogorov, A. N., On the principle of tertium non datur (Russian), Matematicheskii Sbornik 32(4):646\u2013667, 1925. English translation: On the principle of excluded middle [22, pp. 414\u2013437]."},{"issue":"4","key":"9367_CR16","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01792986","volume":"30","author":"J.-L. Krivine","year":"1990","unstructured":"Krivine J.-L.: Op\u00e9rateurs de mise en m\u00e9moire et traduction de G\u00f6del. Archive for Mathematical Logic 30(4), 241\u2013267 (1990)","journal-title":"Archive for Mathematical Logic"},{"key":"9367_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1017\/S0027763000010023","volume":"2","author":"S. Kuroda","year":"1951","unstructured":"Kuroda S.: Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Mathematical Journal 2, 35\u201347 (1951)","journal-title":"Nagoya Mathematical Journal"},{"issue":"2","key":"9367_CR18","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1002\/malq.200610038","volume":"53","author":"T. Streicher","year":"2007","unstructured":"Streicher T., Kohlenbach U.: Shoenfield is G\u00f6del after Krivine. Mathematical Logic Quarterly 53(2), 176\u2013179 (2007)","journal-title":"Mathematical Logic Quarterly"},{"issue":"6","key":"9367_CR19","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1017\/S0956796898003141","volume":"8","author":"T. Streicher","year":"1998","unstructured":"Streicher T., Reus B.: Classical logic, continuation semantics and abstract machines. Journal of Functional Programming 8(6), 543\u2013572 (1998)","journal-title":"Journal of Functional Programming"},{"key":"9367_CR20","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Lecture Notes in Mathematics, number 344, Springer-Verlag, Berlin, Germany, and Heidelberg, Germany, 1973.","DOI":"10.1007\/BFb0066739"},{"key":"9367_CR21","doi-asserted-by":"crossref","unstructured":"van Dalen, D., Logic and Structure, Springer-Verlag, 1980. Fourth edition, 2004.","DOI":"10.1007\/978-3-540-85108-0"},{"key":"9367_CR22","unstructured":"van Heijenoort, J., (ed.), From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931, Harvard University Press, Cambridge, Massachusetts, United States of America, 1967."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9367-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9367-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9367-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T15:56:22Z","timestamp":1562255782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9367-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,12]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["9367"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9367-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,12]]}}}