{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T21:33:45Z","timestamp":1783287225787,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422549","type":"print"},{"value":"9783540457442","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45744-5_45","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T21:02:07Z","timestamp":1193432527000},"page":"529-544","source":"Crossref","is-referenced-by-count":65,"title":["Canonical Propositional Gentzen-Type Systems"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iddo","family":"Lev","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"45_CR1","unstructured":"Arnon Avron and Iddo Lev, \u201cNon-deterministic matrices,\u201d 2000. Submitted."},{"issue":"1","key":"45_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Arnon Avron, \u201cSimple consequence relations,\u201d Information and Computation, vol. 92, no. 1, pp. 105\u2013139, 1991.","journal-title":"Information and Computation"},{"key":"45_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"Nuel. D. Belnap","year":"1962","unstructured":"Nuel. D. Belnap, \u201cTonk, plonk and plink,\u201d Analysis, vol. 22, pp. 130\u2013134, 1962.","journal-title":"Analysis"},{"key":"45_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1093\/jigpal\/7.2.145","volume":"7","author":"J.-Y. B\u00e9ziau","year":"1999","unstructured":"Jean-Yves B\u00e9ziau, \u201cClassical negation can be expressed by one of its halves,\u201d Logic Journal of the IGPL, vol. 7, pp. 145\u2013151, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Matthias Baaz, Christian G. Ferm\u00dcller, and Gernot Salzer, \u201cAutomated deduction for many-valued logics,\u201d in Handbook of Automated Reasoning (A. Robinson and A. Voronkov, eds.), Elsevier Science Publishers, 2000.","DOI":"10.1016\/B978-044450813-3\/50022-9"},{"issue":"6","key":"45_CR6","first-page":"333","volume":"29","author":"M. Baaz","year":"1994","unstructured":"Matthias Baaz, Christian G. Ferm\u00dcller, and Richard Zach, \u201cElimination of cuts in first-oder finite-valued logics,\u201d Information Processing Cybernetics, vol. 29, no. 6, pp. 333\u2013355, 1994.","journal-title":"nformation Processing Cybernetics"},{"key":"45_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume":"III","author":"J. M. Dunn","year":"1986","unstructured":"J. Michael Dunn, \u201cRelevance logic and entailment,\u201d in [GG86], vol. III, ch. 3, pp. 117\u2013224, 1986.","journal-title":"Handbook of Philosophical Logic"},{"key":"45_CR8","first-page":"68","volume-title":"The Collected Works of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gerhard Gentzen, \u201cInvestigations into logical deduction,\u201d in The Collected Works of Gerhard Gentzen (M. E. Szabo, ed.), pp. 68\u2013131, North Holland, Amsterdam, 1969."},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Dov M. Gabbay and Franz Guenthner, Handbook of Philosophical Logic. D. Reidel Publishing company, 1986.","DOI":"10.1007\/978-94-009-5203-4"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Reiner H\u00e4hnle, \u201cTableaux for multiple-valued logics,\u201din Handbook of Tableau Methods (Marcello D\u2018 Agostino, Dov M. Gabbay, Reiner H\u00e4hnle, and Joachim Posegga, eds.), pp. 529\u2013580, Kluwer Publishing Company, 1999.","DOI":"10.1007\/978-94-017-1754-0_9"},{"key":"45_CR11","first-page":"1","volume":"I","author":"W. Hodges","year":"1986","unstructured":"Wilfrid Hodges, \u201cElementary predicate logic,\u201d in [GG86], vol. I, ch. 1, pp. 1\u2013131, 1986.","journal-title":"Handbook of Philosophical Logic"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"38-9","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"A. N. Prior","year":"1960","unstructured":"A. N. Prior, \u201cThe runabout inference ticket,\u201d Analysis, vol. 21, pp. 38-9, 1960.","journal-title":"Analysis"},{"key":"45_CR13","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1090\/pspum\/025\/0363802","volume":"XXV","author":"D. S. Scott","year":"1974","unstructured":"Dana S. Scott, \u201cCompleteness and axiomatization in many-valued logics,\u201d in Proc. of the Tarski symposium, vol. XXV of Proc. of Symposia in Pure Mathematics, (Rhode Island), pp. 411\u2013435, American Mathematical Society, 1974.","journal-title":"Proc. of the Tarski symposium"},{"key":"45_CR14","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume":"III","author":"G. Sundholm","year":"1986","unstructured":"G\u00f6ran Sundholm, \u201cProof theory and meaning,\u201d in [GG86], vol. III, ch. 8, pp. 471\u2013506, 1986.","journal-title":"Handbook of Philosophical Logic"},{"key":"45_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-94-009-5203-4_2","volume":"III","author":"A. Urquhart","year":"1986","unstructured":"Alasdair Urquhart, \u201cMany-valued logic,\u201d in [GG86], vol. III, ch. 2, pp. 71\u2013116, 1986.","journal-title":"Handbook of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45744-5_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:51:13Z","timestamp":1556934673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45744-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422549","9783540457442"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45744-5_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001]]}}}