{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T07:49:54Z","timestamp":1688111394102},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"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":[[2006,2]]},"DOI":"10.1007\/s11225-006-6611-6","type":"journal-article","created":{"date-parts":[[2006,2,2]],"date-time":"2006-02-02T01:59:07Z","timestamp":1138845547000},"page":"157-176","source":"Crossref","is-referenced-by-count":8,"title":["Cut-Elimination and Quantification in Canonical Systems"],"prefix":"10.1007","volume":"82","author":[{"given":"Anna","family":"Zamansky","sequence":"first","affiliation":[]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6611_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Avron, A., \u2018Simple Consequence Relations\u2019, Information and Computation 92 (1):105\u2013139, 1991.","journal-title":"Information and Computation"},{"key":"6611_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1093\/jigpal\/jzi030","volume":"13","author":"A. Avron","year":"2005","unstructured":"Avron, A., and B. Konikowska, \u2018Multi-valued calculi for Logics based on Non-determinism\u2019, Logic Journal of the IJPL 13: 365\u2013387, 2005.","journal-title":"Logic Journal of the IJPL"},{"key":"6611_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A., and I. Lev, \u2018Canonical Propositional Gentzen-type Systems\u2019, Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), R. Gore, A. Leitsch, T. Nipkow, (eds.), Springer Verlag, LNAI 2083, Springer Verlag, 2001, pp. 529\u2013544.","DOI":"10.1007\/3-540-45744-5_45"},{"key":"6611_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron, A., and I. Lev, \u2018Non-deterministic Multi-valued Structures\u2019, Journal of Logic and Computation, 15: 241\u2013261, 2005.","journal-title":"Journal of Logic and Computation"},{"key":"6611_CR5","doi-asserted-by":"crossref","unstructured":"Avron, A., and A. Zamansky, \u2018Quantification in Non-deterministic Multi-valued Structures\u2019, Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logics, IEEE Computer Society Press, 2005, pp. 296\u2013301.","DOI":"10.1109\/ISMVL.2005.40"},{"issue":"6","key":"6611_CR6","first-page":"333","volume":"29","author":"M. Baaz","year":"1994","unstructured":"Baaz, M., C.G. Fermuller, and R. Zach, \u2018Elimination of Cuts in First-order Finite-valued Logics\u2019, Information Processing Cybernetics 29 (6):333\u2013355, 1994.","journal-title":"Information Processing Cybernetics"},{"key":"6611_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"M. Baaz","year":"1998","unstructured":"Baaz, M., C.G. Fermuller, G. Salzer, and R. Zach, \u2018Labeled Calculi and Finite-valued Logics\u2019, Studia Logica 61: 7\u201333, 1998.","journal-title":"Studia Logica"},{"issue":"2","key":"6611_CR8","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W. Carnielli","year":"1987","unstructured":"Carnielli W., \u2018Systematization of Finite Many-valued Logics through the method of Tableaux\u2019, Journal of Symbolic Logic 52 (2):473\u2013493, 1987.","journal-title":"Journal of Symbolic Logic"},{"key":"6611_CR9","first-page":"68","volume-title":"The collected works of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G., \u2018Investigations into Logical Deduction\u2019, in The collected works of Gerhard Gentzen, (M.E. Szabo (ed.), North Holland, Amsterdam, 1969, pp. 68\u2013131."},{"key":"6611_CR10","doi-asserted-by":"crossref","unstructured":"Negri, S., and J. Von Plato, Structural Proof Theory, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"6611_CR11","unstructured":"Shoenfield, J. R., \u2018Mathematical Logic\u2019, Association for Symbolic Logic, 1967."},{"key":"6611_CR12","doi-asserted-by":"crossref","unstructured":"Sundholm, G., \u2018Proof Theory and Meaning\u2019, in Handbook of Philosophical Logic (D. Gabbay and F. Guenthner, (eds.), vol. 3, Reidel Publishing Company, 1986, pp. 471\u2013506.","DOI":"10.1007\/978-94-009-5203-4_8"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-6611-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-6611-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-6611-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:39Z","timestamp":1559384679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-6611-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["6611"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-6611-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}