{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:59:23Z","timestamp":1777892363605,"version":"3.51.4"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,3,15]],"date-time":"2013-03-15T00:00:00Z","timestamp":1363305600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10817-013-9273-x","type":"journal-article","created":{"date-parts":[[2013,3,14]],"date-time":"2013-03-14T03:25:14Z","timestamp":1363231514000},"page":"401-430","source":"Crossref","is-referenced-by-count":31,"title":["Finite-valued Semantics for Canonical Labelled Calculi"],"prefix":"10.1007","volume":"51","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ori","family":"Lahav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,15]]},"reference":[{"issue":"1","key":"9273_CR1","doi-asserted-by":"crossref","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. Stud. Log. 61(1), 7\u201333 (1998)","journal-title":"Stud. Log."},{"key":"9273_CR2","first-page":"31","volume-title":"Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science, LFCS \u201909","author":"A Avron","year":"2009","unstructured":"Avron, A., Zamansky, A.: Canonical signed calculi, non-deterministic matrices and cut-elimination. In: Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science, LFCS \u201909, pp.\u00a031\u201345. Springer, Berlin, Heidelberg (2009)"},{"key":"9273_CR3","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Labelled Deductive Systems, Vol. 1. Oxford Logic Guides, Clarendon Press (1996)","DOI":"10.1093\/oso\/9780198538332.003.0001"},{"issue":"3","key":"9273_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic multiple-valued structures. J. Log. Comput. 15(3), 241\u2013261 (2005)","journal-title":"J. Log. Comput."},{"key":"9273_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-642-31365-3_7","volume-title":"Automated Reasoning","author":"M Baaz","year":"2012","unstructured":"Baaz, M., Lahav, O., Zamansky, A.: Effective finite-valued semantics for labelled calculi. In: Gramlich, B., Miller, D., Sattler, U. (eds.) Automated Reasoning. Lecture Notes in Computer Science, vol.\u00a07364, pp.\u00a052\u201366. Springer Berlin\/Heidelberg (2012)"},{"key":"9273_CR6","doi-asserted-by":"crossref","unstructured":"Lahav, O.: Non-deterministic matrices for semi-canonical deduction systems. In: 2012 42nd IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp.\u00a079\u201384 (2012)","DOI":"10.1109\/ISMVL.2012.48"},{"key":"9273_CR7","unstructured":"Avron, A., Konikowska, B., Zamansky, A.: Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. (2012). doi: 10.1093\/logcom\/exs03 9"},{"key":"9273_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s11225-009-9193-2","volume":"92","author":"A Avron","year":"2009","unstructured":"Avron, A.: Multi-valued semantics: why and how. Stud. Log. 92, 163\u2013182 (2009)","journal-title":"Stud. Log."},{"key":"9273_CR9","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Basic many-valued logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, vol.\u00a02, pp.\u00a0249\u2013295. Springer (2001)","DOI":"10.1007\/978-94-017-0452-6_4"},{"issue":"2","key":"9273_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A.N.: The runabout inference-ticket. Analysis 21(2), 38\u201339 (1960)","journal-title":"Analysis"},{"key":"9273_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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, R., Leitsch, A., Nipkow, T. (eds.) Automated Reasoning. Lecture Notes in Computer Science, vol.\u00a02083, pp.\u00a0529\u2013544. Springer Berlin\/Heidelberg (2001)"},{"key":"9273_CR12","unstructured":"Avron, A.: Non-deterministic semantics for families of paraconsistent logics. In: Beziau, J.Y., Carnielli, W.A., Gabbay, D.M. (eds.) Studies in Logic. Handbook of Paraconsistency, vol.\u00a09, pp. 285\u2013320. College Publications (2007)"},{"key":"9273_CR13","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, M.A., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, vol.\u00a014, pp.\u00a015\u2013107. Springer (2007)","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"9273_CR14","doi-asserted-by":"crossref","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. Stud. Log. 82, 95\u2013119 (2006)","journal-title":"Stud. Log."},{"issue":"3","key":"9273_CR15","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.apal.2011.09.003","volume":"163","author":"A Ciabattoni","year":"2012","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: cut-elimination and completions. Ann. Pure Appl. Logic 163(3), 266\u2013290 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9273_CR16","doi-asserted-by":"crossref","unstructured":"Avron, A., Lahav, O.: On constructive connectives and systems. Log. Methods Comput. Sci. 6(4) (2010)","DOI":"10.2168\/LMCS-6(4:12)2010"},{"key":"9273_CR17","doi-asserted-by":"crossref","unstructured":"Miller, D., Pimentel, E.: Using linear logic to reason about sequent systems. In: Proceedings of TABLEAUX 2002, LNAI 2381, pp.\u00a02\u201323. Springer (2002)","DOI":"10.1007\/3-540-45616-3_2"},{"key":"9273_CR18","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.entcs.2011.03.009","volume":"269","author":"V Nigam","year":"2011","unstructured":"Nigam, V., Pimentel, E., Reis, G.: Specifying proof systems in linear logic with subexponentials. Electron Notes Theor. Comput. Sci. 269, 109\u2013123 (2011)","journal-title":"Electron Notes Theor. Comput. Sci."},{"key":"9273_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-642-02261-6_29","volume-title":"Logic, Language, Information and Computation","author":"K Sano","year":"2009","unstructured":"Sano, K.: Sound and complete tree-sequent calculus for inquisitive logic. In: Ono, H., Kanazawa, M., Queiroz, R. (eds.) Logic, Language, Information and Computation. Lecture Notes in Computer Science, vol. 5514, pp. 365\u2013378. Springer Berlin\/Heidelberg (2009)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9273-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-013-9273-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9273-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T11:53:12Z","timestamp":1715082792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-013-9273-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,15]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["9273"],"URL":"https:\/\/doi.org\/10.1007\/s10817-013-9273-x","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,15]]}}}