{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:39:31Z","timestamp":1725525571251},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926863"},{"type":"electronic","value":"9783540926870"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92687-0_3","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T09:25:38Z","timestamp":1234257938000},"page":"31-45","source":"Crossref","is-referenced-by-count":4,"title":["Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00881838","volume":"10","author":"A. Avron","year":"1993","unstructured":"Avron, A.: Gentzen-Type Systems, Resolution and Tableaux. Journal of Automated Reasoning\u00a010, 265\u2013281 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"3_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":"3_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":"3_CR4","unstructured":"Avron, A.: Logical Non-determinism as a Tool for Logical Modularity: An Introduction. In: Artemov, S., Barringer, H., d\u2019Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them: Essays in Honour of Dov Gabbay, vol.\u00a01, pp. 105\u2013124. College Publications (2005)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Avron, A., Zamansky, A.: Canonical calculi with (n,k)-ary quantifiers. Journal of Logical Methods in Computer Science\u00a010.2168\/LMCS-4(3:2) (2008)","DOI":"10.2168\/LMCS-4(3:2)2008"},{"key":"3_CR6","first-page":"192","volume":"51","author":"M. Baaz","year":"1993","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G., Zach, R.: Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS\u00a051, 192\u2013197 (1993)","journal-title":"Bull. EATCS"},{"key":"3_CR7","first-page":"333","volume":"29","author":"M. Baaz","year":"1994","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Zach, R.: Elimination of cuts in first-order many-valued logics. Journal of Information Processing and Cybernetics\u00a029, 333\u2013355 (1994)","journal-title":"Journal of Information Processing and Cybernetics"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1006\/jsco.1995.1021","volume":"19","author":"M. Baaz","year":"1995","unstructured":"Baaz, M., Ferm\u00fcller, C.G.: Resolution-based theorem proving for many-valued logics. Journal of Symbolic Computation\u00a019(4), 353\u2013391 (1995)","journal-title":"Journal of Symbolic Computation"},{"key":"3_CR9","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Zach, R.: Proof theory of finite-valued logics. Bulletin of Symbolic Logic\u00a01 (1995)"},{"key":"3_CR10","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"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Baaz, M., Egly, U., Leitsch, A.: Normal Form Transformations. Handbook of Automated Reasoning, pp. 273\u2013333 (2001)","DOI":"10.1016\/B978-044450813-3\/50007-2"},{"key":"3_CR12","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":"3_CR13","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-94-017-1754-0_9","volume-title":"Handbook of Tableau Methods","author":"R. H\u00e4hnle","year":"1999","unstructured":"H\u00e4hnle, R.: Tableaux for Multiple-valued Logics. In: D\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 529\u2013580. Kluwer Publishing Company, Dordrecht (1999)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-94-017-0452-6_4","volume-title":"Handbook of Philosophical Logic","author":"A. Urquhart","year":"2001","unstructured":"Urquhart, A.: Many-valued Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, pp. 249\u2013295. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-60-1-23-33","volume":"LX","author":"G. Rousseau","year":"1967","unstructured":"Rousseau, G.: Sequents in many-valued logic 1. Fundamenta Mathematicae\u00a0LX, 23\u201333 (1967)","journal-title":"Fundamenta Mathematicae"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92687-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T23:09:29Z","timestamp":1558134569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92687-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926863","9783540926870"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92687-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}