{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:51:58Z","timestamp":1759146718272},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2016,2,9]],"date-time":"2016-02-09T00:00:00Z","timestamp":1454976000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s00153-016-0474-y","type":"journal-article","created":{"date-parts":[[2016,2,9]],"date-time":"2016-02-09T05:16:51Z","timestamp":1454995011000},"page":"461-473","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Glivenko sequent classes in the light of structural proof theory"],"prefix":"10.1007","volume":"55","author":[{"given":"Sara","family":"Negri","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,9]]},"reference":[{"key":"474_CR1","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. Math. Log. Q. 46, 135\u2013137 (2000)","journal-title":"Math. Log. Q."},{"key":"474_CR2","first-page":"289","volume-title":"Logic, Construction, Computation","author":"H. Ishihara","year":"2013","unstructured":"Ishihara H.: Some conservative extension results on classical and intuitionistic sequent calculi. In: Berger, U. et al. (eds.) Logic, Construction, Computation, pp. 289\u2013304. Ontos Verlag, Heusenstamm (2013)"},{"key":"474_CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0304-3975(99)00177-2","volume":"232","author":"G. Nadathur","year":"2000","unstructured":"Nadathur G.: Correspondence between classical, intuitionistic and uniform provability. Theoret. Comput. Sci. 232, 273\u2013298 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"474_CR4","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s001530100124","volume":"42","author":"S. Negri","year":"2003","unstructured":"Negri S.: Contraction-free sequent calculi for geometric theories, with an application to Barr\u2019s theorem. Arch. Math. Log. 42, 389\u2013401 (2003)","journal-title":"Arch. Math. Log."},{"key":"474_CR5","doi-asserted-by":"crossref","unstructured":"Negri, S.: Proof analysis beyond geometric theories: from rule systems to systems of rules. J. Log. Comput. doi: 10.1093\/logcom\/exu037 (2014)","DOI":"10.1093\/logcom\/exu037"},{"key":"474_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri S., von Plato J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"key":"474_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S. Negri","year":"2011","unstructured":"Negri S., von Plato J.: Proof Analysis. Cambridge University Press, Cambridge (2011)"},{"key":"474_CR8","unstructured":"Orevkov, V.P.: On Glivenko sequent classes. Proc. Steklov Inst. Math., vol. 98, pp. 147\u2013173. (Translated from the Russian original) V. P. Orevkov, Glivenko\u2019s sequence classes, Logical and logical-mathematical calculus, Part I. Trudy Mat. Inst. Steklov, vol. 98, pp. 131\u2013154 (1968)"},{"key":"474_CR9","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1016\/j.apal.2012.05.009","volume":"164","author":"H. Schwichtenberg","year":"2013","unstructured":"Schwichtenberg H., Senjak C.: Minimal from classical proofs. Ann. Pure Appl. Log. 164, 740\u2013748 (2013)","journal-title":"Ann. Pure Appl. Log."},{"key":"474_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A. Troelstra","year":"2000","unstructured":"Troelstra A., Schwichtenberg H.: Basic Proof Theory. 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0474-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0474-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0474-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:45Z","timestamp":1558626885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0474-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,9]]},"references-count":10,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["474"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0474-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,9]]}}}