{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:35:47Z","timestamp":1725536147090},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642033506"},{"type":"electronic","value":"9783642033513"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03351-3_5","type":"book-chapter","created":{"date-parts":[[2009,8,3]],"date-time":"2009-08-03T12:53:58Z","timestamp":1249304038000},"page":"26-37","source":"Crossref","is-referenced-by-count":3,"title":["Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-45744-5_45","volume-title":"Automated Reasoning","author":"A. Avron","year":"2001","unstructured":"Avron, A., Lev, I.: Canonical Propositional Gentzen-type Systems. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 529\u2013544. Springer, Heidelberg (2001)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic Multi-valued Structures. Journal of Logic and Computation\u00a015, 241\u2013261 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/jigpal\/jzi030","volume":"13","author":"A. Avron","year":"2005","unstructured":"Avron, A., Konikowska, B.: Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures. Logic Journal of the IGPL\u00a013, 365\u2013387 (2005)","journal-title":"Logic Journal of the IGPL"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-92687-0_3","volume-title":"Logical Foundations of Computer Science","author":"A. Avron","year":"2009","unstructured":"Avron, A., Zamansky, A.: Canonical Signed Calculi, Non-deterministic Matrices and Cut-elimination. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 31\u201345. Springer, Heidelberg (2009)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005022012721","volume":"61","author":"M. Baaz","year":"1998","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G., Zach, R.: Labeled  Calculi and Finite-valued Logics. Studia Logica\u00a061, 7\u201333 (1998)","journal-title":"Studia Logica"},{"unstructured":"Chapman, P.: Syntactic Conditions for Invertibility in Sequent Calculi. Forthcoming in the Proceedings of CATS 2009. ACM Digital Library (2009)","key":"5_CR6"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11225-006-6607-2","volume":"82","author":"A. Ciabattoni","year":"2006","unstructured":"Ciabattoni, A., Terui, K.: Towards a semantic characterization of cut-elimination. Studia Logica\u00a082(1), 95\u2013119 (2006)","journal-title":"Studia Logica"},{"key":"5_CR8","first-page":"68","volume-title":"The collected works of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigations into Logical Deduction. In: Szabo, M.E. (ed.) The collected works of Gerhard Gentzen, pp. 68\u2013131. North Holland, Amsterdam (1969)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-58622-4_7","volume-title":"Computational Logic","author":"J.-Y. Girard","year":"1999","unstructured":"Girard, J.-Y.: On the meaning of logical rules I: syntax vs. semantics. In: Berger, U., Schwichtenberg, H. (eds.) Computational Logic, pp. 215\u2013272. Springer, Heidelberg (1999)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0304-3975(01)00320-6","volume":"286","author":"B. Konikowska","year":"2002","unstructured":"Konikowska, B.: Rasiowa-Sikorski Deduction Systems in Computer Science Applications. Theoretical Computer Science\u00a0286, 323\u2013366 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11591191_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D. Miller","year":"2005","unstructured":"Miller, D., Pimentel, E.: On the specification of sequent systems. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol.\u00a03835, pp. 352\u2013366. Springer, Heidelberg (2005)"},{"key":"5_CR12","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. PWN (Polish Scientific Publishers), Warsaw (1963)"}],"container-title":["Lecture Notes in Computer Science","Computer Science - Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03351-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T08:03:55Z","timestamp":1552118635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03351-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642033506","9783642033513"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03351-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}