{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T20:00:11Z","timestamp":1709668811880},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2012,7,5]],"date-time":"2012-07-05T00:00:00Z","timestamp":1341446400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s00153-012-0293-8","type":"journal-article","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T18:32:20Z","timestamp":1346524340000},"page":"695-707","source":"Crossref","is-referenced-by-count":4,"title":["Glivenko theorems and negative translations in substructural predicate logics"],"prefix":"10.1007","volume":"51","author":[{"given":"Hadi","family":"Farahani","sequence":"first","affiliation":[]},{"given":"Hiroakira","family":"Ono","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,5]]},"reference":[{"key":"293_CR1","unstructured":"Avigad, J.: A variant of the double-negation translation, Technical Report 179, Carnegie Mellon Technical Report CMU-PHIL (2006)"},{"key":"293_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.4204\/EPTCS.47.4","volume":"47","author":"G. Ferreira","year":"2011","unstructured":"Ferreira G., Oliva P.: On various negative translations. Proc. CL&C2010 Electron. Proc. Theor. Comput. Sci. 47, 21\u201333 (2011)","journal-title":"Proc. CL&C2010 Electron. Proc. Theor. Comput. Sci."},{"key":"293_CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2272556","volume":"37","author":"D.M. Gabbay","year":"1972","unstructured":"Gabbay D.M.: Applications of trees to intermediate logics. J. Symb. Logic 37, 135\u2013138 (1972)","journal-title":"J. Symb. Logic"},{"key":"293_CR4","volume-title":"Quantification in Nonclassical Logic Studies in Logic and the Foundation of Mathematics, vol. 153","author":"D.M. Gabbay","year":"2009","unstructured":"Gabbay D.M., Skvortsov D., Sheftman V.: Quantification in Nonclassical Logic Studies in Logic and the Foundation of Mathematics, vol. 153. Elsevier, Amsterdam (2009)"},{"key":"293_CR5","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics, vol. 151","author":"N. Galatos","year":"2007","unstructured":"Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"key":"293_CR6","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.2178\/jsl\/1164060460","volume":"71","author":"N. Galatos","year":"2006","unstructured":"Galatos N., Ono H.: Glivenko theorems for substructural logics over FL. J. Symb. Logic 71, 1353\u20131384 (2006)","journal-title":"J. Symb. Logic"},{"key":"293_CR7","unstructured":"Ilik, D.: Constructive completeness proofs and delimited control PhD thesis, \u00c9cole Polytechnique, INRIA (2010)"},{"key":"293_CR8","unstructured":"Kleene, S.C.: Introduction to metamathematics. Groningen (1952)"},{"key":"293_CR9","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 Math. J. 2, 35\u201347 (1951)","journal-title":"Nagoya Math. J."},{"key":"293_CR10","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1016\/j.apal.2009.05.006","volume":"161","author":"H. Ono","year":"2009","unstructured":"Ono H.: Glivenko theorems revisited. Ann. Pure Appl. Logic 161, 246\u2013250 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"293_CR11","first-page":"50","volume":"8","author":"H. Ono","year":"2010","unstructured":"Ono H.: Logics without the contraction rule and residuated lattices. Aust. J. Logic 8, 50\u201381 (2010)","journal-title":"Aust. J. Logic"},{"key":"293_CR12","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. Math. Logic Q. 53, 176\u2013179 (2007)","journal-title":"Math. Logic Q."},{"key":"293_CR13","volume-title":"Basic Proof Theory, 2nd edn., Cambridge Tracts in Theoretical Computer Science, vol. 43","author":"A.S. Troelstra","year":"2000","unstructured":"Troelstra A.S., Schwichtenberg H.: Basic Proof Theory, 2nd edn., Cambridge Tracts in Theoretical Computer Science, vol. 43. Cambridge University Press, Cambridge (2000)"},{"key":"293_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2964756","volume":"24","author":"T. Umezawa","year":"1959","unstructured":"Umezawa T.: On logics intermediate between intuitionistic and classical predicate logic. J. Symb. Logic 24, 141\u2013153 (1959)","journal-title":"J. Symb. Logic"},{"key":"293_CR15","doi-asserted-by":"crossref","first-page":"575","DOI":"10.3792\/pja\/1195524178","volume":"35","author":"T. Umezawa","year":"1959","unstructured":"Umezawa T.: On some properties of intermediate logics. Proc. Jpn. Acad. 35, 575\u2013577 (1959)","journal-title":"Proc. Jpn. Acad."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0293-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-012-0293-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0293-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:41Z","timestamp":1558626881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-012-0293-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,5]]},"references-count":15,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["293"],"URL":"https:\/\/doi.org\/10.1007\/s00153-012-0293-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,5]]}}}